Uses of Class
org.benf.cfr.reader.bytecode.analysis.types.discovery.InferredJavaType

Packages that use InferredJavaType

Package	Description
org.benf.cfr.reader.bytecode
org.benf.cfr.reader.bytecode.analysis.opgraph.op2rewriters
org.benf.cfr.reader.bytecode.analysis.opgraph.op3rewriters
org.benf.cfr.reader.bytecode.analysis.opgraph.op4rewriters
org.benf.cfr.reader.bytecode.analysis.opgraph.op4rewriters.transformers
org.benf.cfr.reader.bytecode.analysis.parse
org.benf.cfr.reader.bytecode.analysis.parse.expression
org.benf.cfr.reader.bytecode.analysis.parse.literal
org.benf.cfr.reader.bytecode.analysis.parse.lvalue
org.benf.cfr.reader.bytecode.analysis.parse.rewriters
org.benf.cfr.reader.bytecode.analysis.parse.statement
org.benf.cfr.reader.bytecode.analysis.parse.utils.scope
org.benf.cfr.reader.bytecode.analysis.parse.wildcard
org.benf.cfr.reader.bytecode.analysis.stack
org.benf.cfr.reader.bytecode.analysis.structured.expression
org.benf.cfr.reader.bytecode.analysis.structured.statement
org.benf.cfr.reader.bytecode.analysis.types.discovery
org.benf.cfr.reader.bytecode.analysis.variables

Uses of InferredJavaType in org.benf.cfr.reader.bytecode

Methods in org.benf.cfr.reader.bytecode with parameters of type InferredJavaType

Modifier and Type	Method	Description
void	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 InferredJavaType

Modifier and Type	Method	Description
void	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 InferredJavaType

Modifier and Type	Method	Description
private 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 InferredJavaType

Modifier and Type	Field	Description
private InferredJavaType	AssertRewriter.boolIjt
private final InferredJavaType	EnumClassRewriter.clazzIJT

Methods in org.benf.cfr.reader.bytecode.analysis.opgraph.op4rewriters with parameters of type InferredJavaType

Modifier and Type	Method	Description
private 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 InferredJavaType

Modifier and Type	Field	Description
private static final InferredJavaType	InstanceOfAssignRewriter.ijtBool

Fields in org.benf.cfr.reader.bytecode.analysis.opgraph.op4rewriters.transformers with type parameters of type InferredJavaType

Modifier and Type	Field	Description
private 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

Modifier and Type	Method	Description
InferredJavaType	Expression.getInferredJavaType()
InferredJavaType	LValue.getInferredJavaType()

Uses of InferredJavaType in org.benf.cfr.reader.bytecode.analysis.parse.expression

Fields in org.benf.cfr.reader.bytecode.analysis.parse.expression declared as InferredJavaType

Modifier and Type	Field	Description
private 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 InferredJavaType

Modifier and Type	Method	Description
InferredJavaType	AbstractExpression.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 InferredJavaType

Modifier and Type	Method	Description
Expression	Literal.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 InferredJavaType

Modifier	Constructor	Description
	AbstractAssignmentExpression(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 InferredJavaType

Modifier and Type	Field	Description
private final InferredJavaType	TypedLiteral.inferredJavaType

Methods in org.benf.cfr.reader.bytecode.analysis.parse.literal that return InferredJavaType

Modifier and Type	Method	Description
InferredJavaType	TypedLiteral.getInferredJavaType()

Methods in org.benf.cfr.reader.bytecode.analysis.parse.literal with parameters of type InferredJavaType

Modifier and Type	Method	Description
static TypedLiteral	TypedLiteral.getInt(int v, InferredJavaType type)

Constructors in org.benf.cfr.reader.bytecode.analysis.parse.literal with parameters of type InferredJavaType

Modifier	Constructor	Description
protected	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 InferredJavaType

Modifier and Type	Field	Description
private InferredJavaType	AbstractLValue.inferredJavaType

Methods in org.benf.cfr.reader.bytecode.analysis.parse.lvalue that return InferredJavaType

Modifier and Type	Method	Description
private static InferredJavaType	AbstractFieldVariable.getFieldType(ConstantPoolEntryFieldRef fieldRef)
InferredJavaType	AbstractLValue.getInferredJavaType()

Constructors in org.benf.cfr.reader.bytecode.analysis.parse.lvalue with parameters of type InferredJavaType

Modifier	Constructor	Description
(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 InferredJavaType

Modifier and Type	Field	Description
private 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 InferredJavaType

Modifier and Type	Field	Description
private final InferredJavaType	CaseStatement.caseType
private static InferredJavaType	CommentStatement.StatementExpression.javaType

Constructors in org.benf.cfr.reader.bytecode.analysis.parse.statement with parameters of type InferredJavaType

Modifier	Constructor	Description
	CaseStatement(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 InferredJavaType

Modifier and Type	Method	Description
private JavaTypeInstance	AbstractLValueScopeDiscoverer.getUnclashedType(InferredJavaType inferredJavaType)

Constructors in org.benf.cfr.reader.bytecode.analysis.parse.utils.scope with parameters of type InferredJavaType

Modifier	Constructor	Description
(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 InferredJavaType

Modifier and Type	Method	Description
InferredJavaType	WildcardMatch.AbstractBaseExpressionWildcard.getInferredJavaType()
InferredJavaType	WildcardMatch.LValueWildcard.getInferredJavaType()

Methods in org.benf.cfr.reader.bytecode.analysis.parse.wildcard with parameters of type InferredJavaType

Modifier and Type	Method	Description
WildcardMatch.StaticVariableWildcard	WildcardMatch.getStaticVariable(String name, JavaTypeInstance clazz, InferredJavaType varType)
WildcardMatch.StaticVariableWildcard	WildcardMatch.getStaticVariable(String name, JavaTypeInstance clazz, InferredJavaType varType, boolean requireTypeMatch)

Constructors in org.benf.cfr.reader.bytecode.analysis.parse.wildcard with parameters of type InferredJavaType

Modifier	Constructor	Description
(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 InferredJavaType

Modifier and Type	Field	Description
private final InferredJavaType	StackEntry.inferredJavaType

Methods in org.benf.cfr.reader.bytecode.analysis.stack that return InferredJavaType

Modifier and Type	Method	Description
InferredJavaType	StackEntry.getInferredJavaType()

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 InferredJavaType

Modifier	Constructor	Description
	StructuredStatementExpression(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 InferredJavaType

Modifier and Type	Field	Description
private final InferredJavaType	UnstructuredCase.caseType
private final InferredJavaType	StructuredCase.inferredJavaTypeOfSwitch

Constructors in org.benf.cfr.reader.bytecode.analysis.structured.statement with parameters of type InferredJavaType

Modifier	Constructor	Description
	StructuredCase(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 InferredJavaType

Modifier and Type	Field	Description
static final InferredJavaType	InferredJavaType.IGNORE

Methods in org.benf.cfr.reader.bytecode.analysis.types.discovery that return InferredJavaType

Modifier and Type	Method	Description
InferredJavaType	InferredJavaType.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 InferredJavaType

Modifier and Type	Method	Description
CastAction	InferredJavaType.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 InferredJavaType

Modifier and Type	Field	Description
private final Map<Integer, InferredJavaType>	VariableFactory.typedArgs

Methods in org.benf.cfr.reader.bytecode.analysis.variables with parameters of type InferredJavaType

Modifier and Type	Method	Description
LValue	VariableFactory.ignoredVariable(InferredJavaType type)
LValue	VariableFactory.tempVariable(InferredJavaType type)