| Modifier and Type | Field and Description |
|---|---|
private StaticVariable |
AssertRewriter.assertionStatic |
(package private) StaticVariable |
AssertRewriter.AssertVarCollector.assertStatic |
| Modifier and Type | Field and Description |
|---|---|
private java.util.Map<StaticVariable,EnumClassRewriter.CollectedEnumData<? extends AbstractConstructorInvokation>> |
EnumClassRewriter.EnumInitMatchCollector.entryMap |
private java.util.Map<java.lang.Integer,StaticVariable> |
SwitchEnumRewriter.SwitchForeignEnumMatchResultCollector.lutValues |
| Modifier and Type | Method and Description |
|---|---|
private java.util.Map<StaticVariable,EnumClassRewriter.CollectedEnumData<? extends AbstractConstructorInvokation>> |
EnumClassRewriter.EnumInitMatchCollector.getEntryMap() |
(package private) java.util.Map<java.lang.Integer,StaticVariable> |
SwitchEnumRewriter.SwitchForeignEnumMatchResultCollector.getLUT() |
| Constructor and Description |
|---|
InfiniteAssertRewriter(StaticVariable assertionStatic) |
PreconditionAssertRewriter(StaticVariable assertionStatic) |
| Modifier and Type | Method and Description |
|---|---|
StaticVariable |
StaticVariable.getNonSimpleCopy() |
StaticVariable |
StaticVariable.getSimpleCopy() |
| Constructor and Description |
|---|
StaticVariable(StaticVariable other,
boolean knownSimple) |
| Modifier and Type | Field and Description |
|---|---|
private static StaticVariable |
LiteralRewriter.D_MAX_VALUE |
private static StaticVariable |
LiteralRewriter.D_MIN_NORMAL |
private static StaticVariable |
LiteralRewriter.D_MIN_VALUE |
private static StaticVariable |
LiteralRewriter.D_NAN |
private static StaticVariable |
LiteralRewriter.D_NEGATIVE_INFINITY |
private static StaticVariable |
LiteralRewriter.D_POSITIVE_INFINITY |
private static StaticVariable |
LiteralRewriter.F_MAX_VALUE |
private static StaticVariable |
LiteralRewriter.F_MIN_NORMAL |
private static StaticVariable |
LiteralRewriter.F_MIN_VALUE |
private static StaticVariable |
LiteralRewriter.F_NAN |
private static StaticVariable |
LiteralRewriter.F_NEGATIVE_INFINITY |
private static StaticVariable |
LiteralRewriter.F_POSITIVE_INFINITY |
private static StaticVariable |
LiteralRewriter.I_MAX_VALUE |
private static StaticVariable |
LiteralRewriter.I_MIN_VALUE |
private static StaticVariable |
LiteralRewriter.J_MAX_VALUE |
private static StaticVariable |
LiteralRewriter.J_MIN_VALUE |
private static StaticVariable |
LiteralRewriter.MATH_E |
private static StaticVariable |
LiteralRewriter.MATH_PI |
private static StaticVariable |
LiteralRewriter.S_MAX_VALUE |
private static StaticVariable |
LiteralRewriter.S_MIN_VALUE |
| Modifier and Type | Class and Description |
|---|---|
class |
WildcardMatch.StaticVariableWildcard |
| Modifier and Type | Field and Description |
|---|---|
private StaticVariable |
WildcardMatch.StaticVariableWildcard.matchedValue |
| Modifier and Type | Method and Description |
|---|---|
StaticVariable |
WildcardMatch.StaticVariableWildcard.getMatch() |
| Modifier and Type | Method and Description |
|---|---|
private static StaticVariable |
StructuredCase.getEnumStatic(Expression expression) |
| Modifier and Type | Field and Description |
|---|---|
private java.util.List<Pair<StaticVariable,AbstractConstructorInvokation>> |
ClassFileDumperEnum.entries |
| Modifier and Type | Method and Description |
|---|---|
private static void |
ClassFileDumperEnum.dumpEntry(Dumper d,
Pair<StaticVariable,AbstractConstructorInvokation> entry,
boolean last,
JavaTypeInstance classType) |
| Constructor and Description |
|---|
ClassFileDumperEnum(DCCommonState dcCommonState,
java.util.List<Pair<StaticVariable,AbstractConstructorInvokation>> entries) |