Modifier and Type | Method and Description |
---|---|
void |
BytecodeMeta.takeIteratedTypeHint(InferredJavaType inferredJavaType,
JavaTypeInstance itertype) |
Modifier and Type | Method and Description |
---|---|
void |
TypeHintRecovery.improve(InferredJavaType type) |
void |
TypeHintRecoveryImpl.improve(InferredJavaType type) |
void |
TypeHintRecoveryNone.improve(InferredJavaType type) |
Modifier and Type | Method and Description |
---|---|
private Expression |
BadNarrowingArgRewriter.InternalBadNarrowingRewriter.rewriteLiteral(Expression original,
Expression possibleLiteral,
InferredJavaType tgtType) |
Modifier and Type | Field and Description |
---|---|
private InferredJavaType |
AssertRewriter.boolIjt |
private InferredJavaType |
EnumClassRewriter.clazzIJT |
Modifier and Type | Method and Description |
---|---|
private void |
IllegalGenericRewriter.maybeRewriteExpressionType(InferredJavaType inferredJavaType,
boolean constructor) |
Modifier and Type | Field and Description |
---|---|
private static InferredJavaType |
InstanceOfAssignRewriter.ijtBool |
Modifier and Type | Field and Description |
---|---|
private java.util.Map<InferredJavaType,java.lang.Boolean> |
ObjectTypeUsageRewriter.isAnonVar |
Modifier and Type | Method and Description |
---|---|
InferredJavaType |
Expression.getInferredJavaType() |
InferredJavaType |
LValue.getInferredJavaType() |
Modifier and Type | Field and Description |
---|---|
private InferredJavaType |
LambdaExpressionNewArray.constrType |
private InferredJavaType |
ConstructorInvokationSimple.constructionType |
private InferredJavaType |
AbstractExpression.inferredJavaType |
Modifier and Type | Method and Description |
---|---|
InferredJavaType |
AbstractExpression.getInferredJavaType() |
private static InferredJavaType |
StaticFunctionInvokation.getTypeForFunction(ConstantPoolEntryMethodRef function,
java.util.List<Expression> args) |
private static InferredJavaType |
ArithmeticMonOperation.inferredType(InferredJavaType orig) |
private static InferredJavaType |
TernaryExpression.inferredType(InferredJavaType a,
InferredJavaType b) |
private static InferredJavaType |
ArithmeticOperation.inferredType(InferredJavaType a,
InferredJavaType b,
ArithOp op) |
Modifier and Type | Method and Description |
---|---|
Expression |
Literal.appropriatelyCasted(InferredJavaType expected) |
boolean |
ArithOp.canThrow(InferredJavaType inferredJavaType,
ExceptionCheck caught,
java.util.Set<? extends JavaTypeInstance> instances) |
static Expression |
Literal.getLiteralOrNull(RawJavaType rawCastType,
InferredJavaType inferredCastType,
int intValue) |
private static InferredJavaType |
ArithmeticMonOperation.inferredType(InferredJavaType orig) |
private static InferredJavaType |
TernaryExpression.inferredType(InferredJavaType a,
InferredJavaType b) |
private static InferredJavaType |
ArithmeticOperation.inferredType(InferredJavaType a,
InferredJavaType b,
ArithOp op) |
Modifier and Type | Field and Description |
---|---|
private InferredJavaType |
TypedLiteral.inferredJavaType |
Modifier and Type | Method and Description |
---|---|
InferredJavaType |
TypedLiteral.getInferredJavaType() |
Modifier and Type | Method and Description |
---|---|
static TypedLiteral |
TypedLiteral.getInt(int v,
InferredJavaType type) |
Constructor and Description |
---|
TypedLiteral(TypedLiteral.LiteralType type,
InferredJavaType inferredJavaType,
java.lang.Object value) |
Modifier and Type | Field and Description |
---|---|
private InferredJavaType |
AbstractLValue.inferredJavaType |
Modifier and Type | Method and Description |
---|---|
private static InferredJavaType |
AbstractFieldVariable.getFieldType(ConstantPoolEntryFieldRef fieldRef) |
InferredJavaType |
AbstractLValue.getInferredJavaType() |
Constructor and Description |
---|
AbstractFieldVariable(InferredJavaType type,
JavaTypeInstance clazz,
ClassFileField classFileField) |
AbstractFieldVariable(InferredJavaType type,
JavaTypeInstance clazz,
java.lang.String varName) |
AbstractLValue(InferredJavaType inferredJavaType) |
LocalVariable(int stackPosition,
Ident ident,
VariableNamer variableNamer,
int originalRawOffset,
boolean clashed,
InferredJavaType inferredJavaType) |
LocalVariable(java.lang.String name,
InferredJavaType inferredJavaType) |
StackSSALabel(InferredJavaType inferredJavaType) |
StaticVariable(InferredJavaType type,
JavaTypeInstance clazz,
java.lang.String varName) |
Modifier and Type | Field and Description |
---|---|
private static InferredJavaType |
LiteralRewriter.INFERRED_DOUBLE |
private static InferredJavaType |
LiteralRewriter.INFERRED_FLOAT |
private static InferredJavaType |
LiteralRewriter.INFERRED_INT |
private static InferredJavaType |
LiteralRewriter.INFERRED_LONG |
private static InferredJavaType |
LiteralRewriter.INFERRED_SHORT |
Modifier and Type | Field and Description |
---|---|
private InferredJavaType |
CaseStatement.caseType |
private static InferredJavaType |
CommentStatement.StatementExpression.javaType |
Constructor and Description |
---|
CaseStatement(BytecodeLoc loc,
java.util.List<Expression> values,
InferredJavaType caseType,
BlockIdentifier switchBlock,
BlockIdentifier caseBlock) |
Modifier and Type | Method and Description |
---|---|
private JavaTypeInstance |
AbstractLValueScopeDiscoverer.getUnclashedType(InferredJavaType inferredJavaType) |
Constructor and Description |
---|
ScopeDefinition(int depth,
java.util.Stack<StatementContainer<StructuredStatement>> nestedScope,
StatementContainer<StructuredStatement> exactStatement,
LValue lValue,
InferredJavaType inferredJavaType,
NamedVariable name) |
Modifier and Type | Method and Description |
---|---|
InferredJavaType |
WildcardMatch.LValueWildcard.getInferredJavaType() |
InferredJavaType |
WildcardMatch.AbstractBaseExpressionWildcard.getInferredJavaType() |
Modifier and Type | Method and Description |
---|---|
WildcardMatch.StaticVariableWildcard |
WildcardMatch.getStaticVariable(java.lang.String name,
JavaTypeInstance clazz,
InferredJavaType varType) |
WildcardMatch.StaticVariableWildcard |
WildcardMatch.getStaticVariable(java.lang.String name,
JavaTypeInstance clazz,
InferredJavaType varType,
boolean requireTypeMatch) |
Constructor and Description |
---|
StaticVariableWildcard(InferredJavaType type,
JavaTypeInstance clazz,
boolean requireTypeMatch) |
Modifier and Type | Field and Description |
---|---|
private InferredJavaType |
StackEntry.inferredJavaType |
Modifier and Type | Method and Description |
---|---|
InferredJavaType |
StackEntry.getInferredJavaType() |
Constructor and Description |
---|
StructuredStatementExpression(InferredJavaType inferredJavaType,
StructuredStatement content) |
Modifier and Type | Field and Description |
---|---|
private InferredJavaType |
UnstructuredCase.caseType |
private InferredJavaType |
StructuredCase.inferredJavaTypeOfSwitch |
Constructor and Description |
---|
StructuredCase(BytecodeLoc loc,
java.util.List<Expression> values,
InferredJavaType inferredJavaTypeOfSwitch,
Op04StructuredStatement body,
BlockIdentifier blockIdentifier) |
StructuredCase(BytecodeLoc loc,
java.util.List<Expression> values,
InferredJavaType inferredJavaTypeOfSwitch,
Op04StructuredStatement body,
BlockIdentifier blockIdentifier,
boolean enumSwitch) |
UnstructuredCase(java.util.List<Expression> values,
InferredJavaType caseType,
BlockIdentifier blockIdentifier) |
Modifier and Type | Field and Description |
---|---|
static InferredJavaType |
InferredJavaType.IGNORE |
Modifier and Type | Method and Description |
---|---|
InferredJavaType |
InferredJavaType.collapseTypeClash() |
static InferredJavaType |
InferredJavaType.combineOrClash(InferredJavaType t1,
InferredJavaType t2) |
static InferredJavaType |
InferredJavaType.mkClash(JavaTypeInstance... types) |
private static InferredJavaType |
InferredJavaType.mkClash(java.util.List<JavaTypeInstance> types) |
Modifier and Type | Method and 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) |
Modifier and Type | Field and Description |
---|---|
private java.util.Map<java.lang.Integer,InferredJavaType> |
VariableFactory.typedArgs |
Modifier and Type | Method and Description |
---|---|
LValue |
VariableFactory.ignoredVariable(InferredJavaType type) |
LValue |
VariableFactory.tempVariable(InferredJavaType type) |