Searched refs:getSort (Results 1 – 15 of 15) sorted by relevance
62 } else if (type.getSort() == ARRAY || type.getSort() == OBJECT) { in pushDefaultReturnValueToStack()
120 int sort = returnType.getSort(); in generateCallToClassHandler()242 switch (returnType.getSort()) { in interceptInvokeVirtualMethodWithoutInvokeDynamic()286 if (type.getSort() == OBJECT || type.getSort() == ARRAY) { in box()311 switch (type.getSort()) { in getBoxedType()
72 switch (type.getSort()) { in remapParamType()
45 if (options.getSort()) in serialize()
205 public boolean getSort() in getSort() method in SerializeOptions
95 assert(*Solver->getSort(LHS) == *Solver->getSort(RHS) && in fromBinOp()205 assert(*Solver->getSort(LHS) == *Solver->getSort(RHS) && in fromFloatBinOp()
150 if (fieldType.getSort() == Type.LONG || fieldType.getSort() == Type.DOUBLE) { in emitInterfaceFieldAccessInCompanionMethodToTriggerInterfaceClinit()
579 switch (type.getSort()) { in isPushForType()638 switch (type.getSort()) { in toJvmMetatype()
788 switch (argumentType.getSort()) { in createInitialLocalVariableTypes()
312 SMTSortRef getSort(const SMTExprRef &Exp) override { in getSort() function in __anon2fdbe40f0111::Z3Solver837 SMTSortRef Sort = getSort(Assign); in getInterpretation()851 SMTSortRef Sort = getSort(Assign); in getInterpretation()
313 SMTSortRef getSort(const SMTExprRef &Exp) override { in getSort() function in __anon90b5489b0111::Z3Solver853 SMTSortRef Sort = getSort(Assign); in getInterpretation()867 SMTSortRef Sort = getSort(Assign); in getInterpretation()
178 virtual SMTSortRef getSort(const SMTExprRef &AST) = 0;
176 switch (type.getSort()) { in typeReference()
137 …return !node.getSort().isResolved() || !node.getRepresentative().asDefined().getDeclaringType().re… in isOverridden()