Uses of Class
org.benf.cfr.reader.bytecode.analysis.types.discovery.InferredJavaType
Packages that use InferredJavaType
Package
Description
-
Uses of InferredJavaType in org.benf.cfr.reader.bytecode
Methods in org.benf.cfr.reader.bytecode with parameters of type InferredJavaTypeModifier and TypeMethodDescriptionvoid
BytecodeMeta.takeIteratedTypeHint
(InferredJavaType inferredJavaType, JavaTypeInstance itertype) -
Uses of InferredJavaType in org.benf.cfr.reader.bytecode.analysis.opgraph.op2rewriters
Methods in org.benf.cfr.reader.bytecode.analysis.opgraph.op2rewriters with parameters of type InferredJavaTypeModifier and TypeMethodDescriptionvoid
TypeHintRecovery.improve
(InferredJavaType type) void
TypeHintRecoveryImpl.improve
(InferredJavaType type) void
TypeHintRecoveryNone.improve
(InferredJavaType type) -
Uses of InferredJavaType in org.benf.cfr.reader.bytecode.analysis.opgraph.op3rewriters
Methods in org.benf.cfr.reader.bytecode.analysis.opgraph.op3rewriters with parameters of type InferredJavaTypeModifier and TypeMethodDescriptionprivate Expression
BadNarrowingArgRewriter.InternalBadNarrowingRewriter.rewriteLiteral
(Expression original, Expression possibleLiteral, InferredJavaType tgtType) -
Uses of InferredJavaType in org.benf.cfr.reader.bytecode.analysis.opgraph.op4rewriters
Fields in org.benf.cfr.reader.bytecode.analysis.opgraph.op4rewriters declared as InferredJavaTypeModifier and TypeFieldDescriptionprivate InferredJavaType
AssertRewriter.boolIjt
private final InferredJavaType
EnumClassRewriter.clazzIJT
Methods in org.benf.cfr.reader.bytecode.analysis.opgraph.op4rewriters with parameters of type InferredJavaTypeModifier and TypeMethodDescriptionprivate void
IllegalGenericRewriter.maybeRewriteExpressionType
(InferredJavaType inferredJavaType, boolean constructor) -
Uses of InferredJavaType in org.benf.cfr.reader.bytecode.analysis.opgraph.op4rewriters.transformers
Fields in org.benf.cfr.reader.bytecode.analysis.opgraph.op4rewriters.transformers declared as InferredJavaTypeModifier and TypeFieldDescriptionprivate static final InferredJavaType
InstanceOfAssignRewriter.ijtBool
Fields in org.benf.cfr.reader.bytecode.analysis.opgraph.op4rewriters.transformers with type parameters of type InferredJavaTypeModifier and TypeFieldDescriptionprivate final Map<InferredJavaType,
Boolean> ObjectTypeUsageRewriter.isAnonVar
-
Uses of InferredJavaType in org.benf.cfr.reader.bytecode.analysis.parse
Methods in org.benf.cfr.reader.bytecode.analysis.parse that return InferredJavaType -
Uses of InferredJavaType in org.benf.cfr.reader.bytecode.analysis.parse.expression
Fields in org.benf.cfr.reader.bytecode.analysis.parse.expression declared as InferredJavaTypeModifier and TypeFieldDescriptionprivate final InferredJavaType
LambdaExpressionNewArray.constrType
private InferredJavaType
ConstructorInvokationSimple.constructionType
private final InferredJavaType
AbstractExpression.inferredJavaType
Methods in org.benf.cfr.reader.bytecode.analysis.parse.expression that return InferredJavaTypeModifier and TypeMethodDescriptionAbstractExpression.getInferredJavaType()
private static InferredJavaType
StaticFunctionInvokation.getTypeForFunction
(ConstantPoolEntryMethodRef function, List<Expression> args) private static InferredJavaType
ArithmeticMonOperation.inferredType
(InferredJavaType orig) private static InferredJavaType
ArithmeticOperation.inferredType
(InferredJavaType a, InferredJavaType b, ArithOp op) private static InferredJavaType
TernaryExpression.inferredType
(InferredJavaType a, InferredJavaType b) Methods in org.benf.cfr.reader.bytecode.analysis.parse.expression with parameters of type InferredJavaTypeModifier and TypeMethodDescriptionLiteral.appropriatelyCasted
(InferredJavaType expected) boolean
ArithOp.canThrow
(InferredJavaType inferredJavaType, ExceptionCheck caught, Set<? extends JavaTypeInstance> instances) static Expression
Literal.getLiteralOrNull
(RawJavaType rawCastType, InferredJavaType inferredCastType, int intValue) private static InferredJavaType
ArithmeticMonOperation.inferredType
(InferredJavaType orig) private static InferredJavaType
ArithmeticOperation.inferredType
(InferredJavaType a, InferredJavaType b, ArithOp op) private static InferredJavaType
TernaryExpression.inferredType
(InferredJavaType a, InferredJavaType b) Constructors in org.benf.cfr.reader.bytecode.analysis.parse.expression with parameters of type InferredJavaTypeModifierConstructorDescriptionAbstractAssignmentExpression
(BytecodeLoc loc, InferredJavaType inferredJavaType) (package private)
AbstractConstructorInvokation
(BytecodeLoc loc, InferredJavaType inferredJavaType, ConstantPoolEntryMethodRef function, List<Expression> args) AbstractExpression
(BytecodeLoc loc, InferredJavaType inferredJavaType) (package private)
AbstractFunctionInvokation
(BytecodeLoc loc, ConstantPoolEntryMethodRef function, InferredJavaType inferredJavaType) (package private)
AbstractFunctionInvokationExplicit
(BytecodeLoc loc, InferredJavaType res, JavaTypeInstance clazz, String method, List<Expression> args) (package private)
AbstractMutatingAssignmentExpression
(BytecodeLoc loc, InferredJavaType inferredJavaType) (package private)
AbstractNewArray
(BytecodeLoc loc, InferredJavaType inferredJavaType) ArithmeticOperation
(BytecodeLoc loc, InferredJavaType knownType, Expression lhs, Expression rhs, ArithOp op) private
ArrayIndex
(BytecodeLoc loc, InferredJavaType inferredJavaType, Expression array, Expression index) CastExpression
(BytecodeLoc loc, InferredJavaType knownType, Expression child) CastExpression
(BytecodeLoc loc, InferredJavaType knownType, Expression child, boolean forced) ConstructorInvokationAnonymousInner
(BytecodeLoc loc, MemberFunctionInvokation constructorInvokation, InferredJavaType inferredJavaType, List<Expression> args, DCCommonState dcCommonState, JavaTypeInstance anonymousTypeInstance) (package private)
ConstructorInvokationExplicit
(BytecodeLoc loc, InferredJavaType res, JavaTypeInstance clazz, List<Expression> args) ConstructorInvokationSimple
(BytecodeLoc loc, MemberFunctionInvokation constructorInvokation, InferredJavaType inferredJavaType, InferredJavaType constructionType, List<Expression> args) DynamicInvokation
(BytecodeLoc loc, InferredJavaType castJavaType, Expression innerInvokation, List<Expression> dynamicArgs) InstanceOfExpression
(BytecodeLoc loc, InferredJavaType inferredJavaType, Expression lhs, JavaTypeInstance typeInstance) InstanceOfExpressionDefining
(BytecodeLoc loc, InferredJavaType inferredJavaType, Expression lhs, JavaTypeInstance typeInstance, LValue defines) LambdaExpression
(BytecodeLoc loc, InferredJavaType castJavaType, List<LValue> args, List<JavaTypeInstance> explicitArgType, Expression result) private
LambdaExpressionFallback
(BytecodeLoc loc, InferredJavaType inferredJavaType, boolean methodRef, boolean instance, List<Expression> curriedArgs, List<JavaTypeInstance> targetFnArgTypes, MethodPrototype lambdaFn, JavaTypeInstance callClassType) LambdaExpressionFallback
(BytecodeLoc loc, JavaTypeInstance callClassType, InferredJavaType castJavaType, MethodPrototype lambdaFn, List<JavaTypeInstance> targetFnArgTypes, List<Expression> curriedArgs, boolean instance) LambdaExpressionNewArray
(BytecodeLoc loc, InferredJavaType resType, InferredJavaType constrType) (package private)
MemberFunctionInvokationExplicit
(BytecodeLoc loc, InferredJavaType res, JavaTypeInstance clazz, Expression object, String method, List<Expression> args) NewAnonymousArray
(BytecodeLoc loc, InferredJavaType type, int numDims, List<Expression> values, boolean isCompletelyAnonymous) private
NewObjectArray
(BytecodeLoc loc, InferredJavaType inferredJavaType, JavaTypeInstance resultType, int numDims, JavaTypeInstance allocatedType, List<Expression> dimSizes) private
NewPrimitiveArray
(BytecodeLoc loc, InferredJavaType inferredJavaType, JavaTypeInstance type, Expression size) StaticFunctionInvokationExplicit
(BytecodeLoc loc, InferredJavaType res, JavaTypeInstance clazz, String method, List<Expression> args) SwitchExpression
(BytecodeLoc loc, InferredJavaType inferredJavaType, Expression value, List<SwitchExpression.Branch> cases) TernaryExpression
(BytecodeLoc loc, InferredJavaType type, ConditionalExpression condition, Expression lhs, Expression rhs) -
Uses of InferredJavaType in org.benf.cfr.reader.bytecode.analysis.parse.literal
Fields in org.benf.cfr.reader.bytecode.analysis.parse.literal declared as InferredJavaTypeMethods in org.benf.cfr.reader.bytecode.analysis.parse.literal that return InferredJavaTypeMethods in org.benf.cfr.reader.bytecode.analysis.parse.literal with parameters of type InferredJavaTypeModifier and TypeMethodDescriptionstatic TypedLiteral
TypedLiteral.getInt
(int v, InferredJavaType type) Constructors in org.benf.cfr.reader.bytecode.analysis.parse.literal with parameters of type InferredJavaTypeModifierConstructorDescriptionprotected
TypedLiteral
(TypedLiteral.LiteralType type, InferredJavaType inferredJavaType, Object value) -
Uses of InferredJavaType in org.benf.cfr.reader.bytecode.analysis.parse.lvalue
Fields in org.benf.cfr.reader.bytecode.analysis.parse.lvalue declared as InferredJavaTypeMethods in org.benf.cfr.reader.bytecode.analysis.parse.lvalue that return InferredJavaTypeModifier and TypeMethodDescriptionprivate static InferredJavaType
AbstractFieldVariable.getFieldType
(ConstantPoolEntryFieldRef fieldRef) AbstractLValue.getInferredJavaType()
Constructors in org.benf.cfr.reader.bytecode.analysis.parse.lvalue with parameters of type InferredJavaTypeModifierConstructorDescription(package private)
AbstractFieldVariable
(InferredJavaType type, JavaTypeInstance clazz, String varName) (package private)
AbstractFieldVariable
(InferredJavaType type, JavaTypeInstance clazz, ClassFileField classFileField) AbstractLValue
(InferredJavaType inferredJavaType) LocalVariable
(int stackPosition, Ident ident, VariableNamer variableNamer, int originalRawOffset, boolean clashed, InferredJavaType inferredJavaType) LocalVariable
(String name, InferredJavaType inferredJavaType) protected
StackSSALabel
(InferredJavaType inferredJavaType) StaticVariable
(InferredJavaType type, JavaTypeInstance clazz, String varName) -
Uses of InferredJavaType in org.benf.cfr.reader.bytecode.analysis.parse.rewriters
Fields in org.benf.cfr.reader.bytecode.analysis.parse.rewriters declared as InferredJavaTypeModifier and TypeFieldDescriptionprivate static final InferredJavaType
LiteralRewriter.INFERRED_DOUBLE
private static final InferredJavaType
LiteralRewriter.INFERRED_FLOAT
private static final InferredJavaType
LiteralRewriter.INFERRED_INT
private static final InferredJavaType
LiteralRewriter.INFERRED_LONG
private static final InferredJavaType
LiteralRewriter.INFERRED_SHORT
-
Uses of InferredJavaType in org.benf.cfr.reader.bytecode.analysis.parse.statement
Fields in org.benf.cfr.reader.bytecode.analysis.parse.statement declared as InferredJavaTypeModifier and TypeFieldDescriptionprivate final InferredJavaType
CaseStatement.caseType
private static InferredJavaType
CommentStatement.StatementExpression.javaType
Constructors in org.benf.cfr.reader.bytecode.analysis.parse.statement with parameters of type InferredJavaTypeModifierConstructorDescriptionCaseStatement
(BytecodeLoc loc, List<Expression> values, InferredJavaType caseType, BlockIdentifier switchBlock, BlockIdentifier caseBlock) -
Uses of InferredJavaType in org.benf.cfr.reader.bytecode.analysis.parse.utils.scope
Methods in org.benf.cfr.reader.bytecode.analysis.parse.utils.scope with parameters of type InferredJavaTypeModifier and TypeMethodDescriptionprivate JavaTypeInstance
AbstractLValueScopeDiscoverer.getUnclashedType
(InferredJavaType inferredJavaType) Constructors in org.benf.cfr.reader.bytecode.analysis.parse.utils.scope with parameters of type InferredJavaTypeModifierConstructorDescription(package private)
ScopeDefinition
(int depth, Stack<StatementContainer<StructuredStatement>> nestedScope, StatementContainer<StructuredStatement> exactStatement, LValue lValue, InferredJavaType inferredJavaType, NamedVariable name) -
Uses of InferredJavaType in org.benf.cfr.reader.bytecode.analysis.parse.wildcard
Methods in org.benf.cfr.reader.bytecode.analysis.parse.wildcard that return InferredJavaTypeModifier and TypeMethodDescriptionWildcardMatch.AbstractBaseExpressionWildcard.getInferredJavaType()
WildcardMatch.LValueWildcard.getInferredJavaType()
Methods in org.benf.cfr.reader.bytecode.analysis.parse.wildcard with parameters of type InferredJavaTypeModifier and TypeMethodDescriptionWildcardMatch.getStaticVariable
(String name, JavaTypeInstance clazz, InferredJavaType varType) WildcardMatch.getStaticVariable
(String name, JavaTypeInstance clazz, InferredJavaType varType, boolean requireTypeMatch) Constructors in org.benf.cfr.reader.bytecode.analysis.parse.wildcard with parameters of type InferredJavaTypeModifierConstructorDescription(package private)
StaticVariableWildcard
(InferredJavaType type, JavaTypeInstance clazz, boolean requireTypeMatch) -
Uses of InferredJavaType in org.benf.cfr.reader.bytecode.analysis.stack
Fields in org.benf.cfr.reader.bytecode.analysis.stack declared as InferredJavaTypeMethods in org.benf.cfr.reader.bytecode.analysis.stack that return InferredJavaType -
Uses of InferredJavaType in org.benf.cfr.reader.bytecode.analysis.structured.expression
Constructors in org.benf.cfr.reader.bytecode.analysis.structured.expression with parameters of type InferredJavaTypeModifierConstructorDescriptionStructuredStatementExpression
(InferredJavaType inferredJavaType, StructuredStatement content) -
Uses of InferredJavaType in org.benf.cfr.reader.bytecode.analysis.structured.statement
Fields in org.benf.cfr.reader.bytecode.analysis.structured.statement declared as InferredJavaTypeModifier and TypeFieldDescriptionprivate final InferredJavaType
UnstructuredCase.caseType
private final InferredJavaType
StructuredCase.inferredJavaTypeOfSwitch
Constructors in org.benf.cfr.reader.bytecode.analysis.structured.statement with parameters of type InferredJavaTypeModifierConstructorDescriptionStructuredCase
(BytecodeLoc loc, List<Expression> values, InferredJavaType inferredJavaTypeOfSwitch, Op04StructuredStatement body, BlockIdentifier blockIdentifier) StructuredCase
(BytecodeLoc loc, List<Expression> values, InferredJavaType inferredJavaTypeOfSwitch, Op04StructuredStatement body, BlockIdentifier blockIdentifier, boolean enumSwitch) UnstructuredCase
(List<Expression> values, InferredJavaType caseType, BlockIdentifier blockIdentifier) -
Uses of InferredJavaType in org.benf.cfr.reader.bytecode.analysis.types.discovery
Fields in org.benf.cfr.reader.bytecode.analysis.types.discovery declared as InferredJavaTypeMethods in org.benf.cfr.reader.bytecode.analysis.types.discovery that return InferredJavaTypeModifier and TypeMethodDescriptionInferredJavaType.collapseTypeClash()
static InferredJavaType
InferredJavaType.combineOrClash
(InferredJavaType t1, InferredJavaType t2) private static InferredJavaType
InferredJavaType.mkClash
(List<JavaTypeInstance> types) static InferredJavaType
InferredJavaType.mkClash
(JavaTypeInstance... types) Methods in org.benf.cfr.reader.bytecode.analysis.types.discovery with parameters of type InferredJavaTypeModifier and TypeMethodDescriptionInferredJavaType.chain
(InferredJavaType other) private CastAction
InferredJavaType.chainFrom
(InferredJavaType other) private CastAction
InferredJavaType.chainIntegralTypes
(InferredJavaType other) static InferredJavaType
InferredJavaType.combineOrClash
(InferredJavaType t1, InferredJavaType t2) static void
InferredJavaType.compareAsWithoutCasting
(InferredJavaType a, InferredJavaType b, boolean aLit, boolean bLit) void
InferredJavaType.forceDelegate
(InferredJavaType other) abstract Expression
CastAction.performCastAction
(Expression orig, InferredJavaType tgtType) static void
InferredJavaType.useInArithOp
(InferredJavaType lhs, InferredJavaType rhs, ArithOp op) void
InferredJavaType.useInArithOp
(InferredJavaType other, RawJavaType otherRaw, boolean forbidBool) -
Uses of InferredJavaType in org.benf.cfr.reader.bytecode.analysis.variables
Fields in org.benf.cfr.reader.bytecode.analysis.variables with type parameters of type InferredJavaTypeModifier and TypeFieldDescriptionprivate final Map<Integer,
InferredJavaType> VariableFactory.typedArgs
Methods in org.benf.cfr.reader.bytecode.analysis.variables with parameters of type InferredJavaTypeModifier and TypeMethodDescriptionVariableFactory.ignoredVariable
(InferredJavaType type) VariableFactory.tempVariable
(InferredJavaType type)