Modifier and Type | Field and Description |
---|---|
private StructuredStatement |
Op04StructuredStatement.structuredStatement |
Modifier and Type | Field and Description |
---|---|
private java.util.Stack<Triplet<StructuredStatement,BlockIdentifier,java.util.Set<Op04StructuredStatement>>> |
Op04StructuredStatement.ScopeDescendingTransformer.targets |
Constructor and Description |
---|
Op04StructuredStatement(InstrIndex instrIndex,
java.util.Collection<BlockIdentifier> blockMembership,
StructuredStatement structuredStatement) |
Op04StructuredStatement(StructuredStatement justStatement) |
Modifier and Type | Field and Description |
---|---|
private StructuredStatement |
AssertRewriter.AssertUseCollector.ass2throw |
private StructuredStatement |
InnerClassConstructorRewriter.assignmentStatement |
private StructuredStatement |
InnerClassConstructorRewriter.ConstructResultCollector.assignmentStatement |
private StructuredStatement |
InstanceofMatchTidyingRewriter.last |
(package private) StructuredStatement |
SwitchExpressionRewriter.SwitchExpressionSearcher.last |
Modifier and Type | Field and Description |
---|---|
(package private) java.util.Map<StructuredStatement,java.util.List<Op04StructuredStatement>> |
SwitchExpressionRewriter.BlockSwitchDiscoverer.blockSwitches |
private java.util.Set<StructuredStatement> |
SwitchExpressionRewriter.classifiedEmpty |
private java.util.Map<java.lang.String,StructuredStatement> |
SwitchStringRewriter.EmptySwitchStringMatchResultCollector.collectedStatements |
private java.util.Map<java.lang.String,StructuredStatement> |
SwitchStringRewriter.SwitchStringMatchResultCollector.collectedStatements |
private java.util.Map<LValue,java.util.List<StructuredStatement>> |
InstanceofMatchTidyingRewriter.definitions |
private java.util.List<Pair<Op04StructuredStatement,StructuredStatement>> |
SwitchExpressionRewriter.SwitchExpressionTransformer.replacements |
private java.util.List<StructuredStatement> |
RedundantSuperRewriter.SuperResultCollector.structuredStatements |
(package private) java.util.List<StructuredStatement> |
AssertRewriter.AssertionTrackingControlFlowSwitchExpressionTransformer.throwSS |
Modifier and Type | Method and Description |
---|---|
StructuredStatement |
InnerClassConstructorRewriter.getAssignmentStatement() |
private static StructuredStatement |
RecordRewriter.getSingleCodeLine(Method method) |
(package private) StructuredStatement |
SwitchStringRewriter.EmptySwitchStringMatchResultCollector.getStatementByName(java.lang.String name) |
(package private) StructuredStatement |
SwitchStringRewriter.SwitchStringMatchResultCollector.getStatementByName(java.lang.String name) |
private StructuredStatement |
AssertRewriter.SwitchAssertUseCollector.processSwitchAndThrow(StructuredStatement ifStm,
BlockIdentifier outer,
BlockIdentifier swiBlockIdentifier,
Block swBodyBlock,
StructuredSwitch struSwi,
Op04StructuredStatement throwStm) |
private StructuredStatement |
AssertRewriter.SwitchAssertUseCollector.processSwitchEmbeddedThrow(StructuredStatement ifStm,
BlockIdentifier outer,
Block swBodyBlock,
Op04StructuredStatement switchStm,
StructuredSwitch struSwi) |
StructuredStatement |
AssertRewriter.ControlFlowSwitchExpressionTransformer.transform(StructuredStatement in,
StructuredScope scope) |
StructuredStatement |
ClashDeclarationReducer.transform(StructuredStatement in,
StructuredScope scope) |
StructuredStatement |
InstanceofMatchTidyingRewriter.SearchPass.transform(StructuredStatement in,
StructuredScope scope) |
StructuredStatement |
SwitchExpressionRewriter.transform(StructuredStatement in,
StructuredScope scope) |
StructuredStatement |
SwitchExpressionRewriter.BlockSwitchDiscoverer.transform(StructuredStatement in,
StructuredScope scope) |
StructuredStatement |
SwitchExpressionRewriter.SwitchExpressionSearcher.transform(StructuredStatement in,
StructuredScope scope) |
StructuredStatement |
SwitchExpressionRewriter.SwitchExpressionTransformer.transform(StructuredStatement in,
StructuredScope scope) |
Modifier and Type | Method and Description |
---|---|
private Matcher<StructuredStatement> |
AssertRewriter.buildStandardAssertMatcher(WildcardMatch wcm1) |
private Matcher<StructuredStatement> |
AssertRewriter.buildSwitchAssertMatcher(WildcardMatch wcm1) |
private java.util.List<StructuredStatement> |
SwitchEnumRewriter.getLookupMethodStatements(Method lutStaticInit) |
static Matcher<StructuredStatement> |
ResourceReleaseDetector.getNonTestingStructuredStatementMatcher(WildcardMatch wcm,
LValue throwableLValue,
LValue autoclose) |
static Matcher<StructuredStatement> |
ResourceReleaseDetector.getSimpleStructuredStatementMatcher(WildcardMatch wcm,
LValue throwableLValue,
LValue autoclose) |
static Matcher<StructuredStatement> |
ResourceReleaseDetector.getStructuredStatementMatcher(WildcardMatch wcm,
LValue throwableLValue,
LValue autoclose) |
Modifier and Type | Method and Description |
---|---|
private void |
InstanceofMatchTidyingRewriter.addDefinition(StructuredStatement in,
LValue lvalue) |
(package private) void |
AssertRewriter.AssertionTrackingControlFlowSwitchExpressionTransformer.additionalHandling(StructuredStatement in) |
(package private) void |
AssertRewriter.ControlFlowSwitchExpressionTransformer.additionalHandling(StructuredStatement in) |
void |
AssertRewriter.AssertVarCollector.collectStatement(java.lang.String name,
StructuredStatement statement) |
void |
AssertRewriter.SwitchAssertUseCollector.collectStatement(java.lang.String name,
StructuredStatement statement) |
void |
AssertRewriter.AssertUseCollector.collectStatement(java.lang.String name,
StructuredStatement statement) |
void |
EnumClassRewriter.EnumInitMatchCollector.collectStatement(java.lang.String name,
StructuredStatement statement) |
void |
InnerClassConstructorRewriter.ConstructResultCollector.collectStatement(java.lang.String name,
StructuredStatement statement) |
void |
RedundantSuperRewriter.SuperResultCollector.collectStatement(java.lang.String name,
StructuredStatement statement) |
void |
SwitchEnumRewriter.EclipseVarResultCollector.collectStatement(java.lang.String name,
StructuredStatement statement) |
void |
SwitchEnumRewriter.SwitchEnumMatchResultCollector.collectStatement(java.lang.String name,
StructuredStatement statement) |
void |
SwitchStringRewriter.EmptySwitchStringMatchResultCollector.collectStatement(java.lang.String name,
StructuredStatement statement) |
void |
SwitchStringRewriter.SwitchStringMatchResultCollector.collectStatement(java.lang.String name,
StructuredStatement statement) |
private Pair<java.lang.Boolean,Expression> |
AssertRewriter.SwitchAssertUseCollector.getThrowExpression(StructuredStatement throwS) |
private static void |
RecordRewriter.hideIfMatch(JavaTypeInstance thisType,
java.util.List<ClassFileField> fields,
Method method,
WildcardMatch wcm,
StructuredStatement stm) |
private static boolean |
SwitchStringRewriter.isLVOk(Expression lve,
LValue lv,
StructuredStatement assign) |
private StructuredStatement |
AssertRewriter.SwitchAssertUseCollector.processSwitchAndThrow(StructuredStatement ifStm,
BlockIdentifier outer,
BlockIdentifier swiBlockIdentifier,
Block swBodyBlock,
StructuredSwitch struSwi,
Op04StructuredStatement throwStm) |
private StructuredStatement |
AssertRewriter.SwitchAssertUseCollector.processSwitchEmbeddedThrow(StructuredStatement ifStm,
BlockIdentifier outer,
Block swBodyBlock,
Op04StructuredStatement switchStm,
StructuredSwitch struSwi) |
StructuredStatement |
AssertRewriter.ControlFlowSwitchExpressionTransformer.transform(StructuredStatement in,
StructuredScope scope) |
StructuredStatement |
ClashDeclarationReducer.transform(StructuredStatement in,
StructuredScope scope) |
StructuredStatement |
InstanceofMatchTidyingRewriter.SearchPass.transform(StructuredStatement in,
StructuredScope scope) |
StructuredStatement |
SwitchExpressionRewriter.transform(StructuredStatement in,
StructuredScope scope) |
StructuredStatement |
SwitchExpressionRewriter.BlockSwitchDiscoverer.transform(StructuredStatement in,
StructuredScope scope) |
StructuredStatement |
SwitchExpressionRewriter.SwitchExpressionSearcher.transform(StructuredStatement in,
StructuredScope scope) |
StructuredStatement |
SwitchExpressionRewriter.SwitchExpressionTransformer.transform(StructuredStatement in,
StructuredScope scope) |
Modifier and Type | Method and Description |
---|---|
private Expression |
SwitchExpressionRewriter.extractSwitchEntry(LValue target,
BlockIdentifier blockIdentifier,
Op04StructuredStatement body,
java.util.List<Pair<Op04StructuredStatement,StructuredStatement>> replacements,
boolean last) |
private Pair<StructuredCase,Expression> |
SwitchExpressionRewriter.extractSwitchEntryPair(LValue target,
BlockIdentifier blockIdentifier,
Op04StructuredStatement item,
java.util.List<Pair<Op04StructuredStatement,StructuredStatement>> replacements,
boolean last) |
private boolean |
SwitchExpressionRewriter.replaceSwitch(Op04StructuredStatement container,
java.util.List<StructuredStatement> structuredStatements,
StructuredScope scope) |
private void |
SwitchStringRewriter.rewriteComplex(java.util.List<StructuredStatement> structuredStatements) |
private void |
SwitchStringRewriter.rewriteEmpty(java.util.List<StructuredStatement> structuredStatements) |
private Expression |
SyntheticAccessorRewriter.tryRewriteAccessor(java.util.List<StructuredStatement> structuredStatements,
JavaTypeInstance otherType,
java.util.List<Expression> appliedArgs,
java.util.List<LocalVariable> methodArgs) |
private Expression |
SyntheticAccessorRewriter.tryRewriteFunctionCall(java.util.List<StructuredStatement> structuredStatements,
JavaTypeInstance otherType,
java.util.List<Expression> appliedArgs,
java.util.List<LocalVariable> methodArgs) |
Constructor and Description |
---|
SuperResultCollector(WildcardMatch wcm,
java.util.List<StructuredStatement> structuredStatements) |
SwitchExpressionTransformer(LValue target,
BlockIdentifier blockIdentifier,
java.util.List<Pair<Op04StructuredStatement,StructuredStatement>> replacements,
boolean last) |
Modifier and Type | Method and Description |
---|---|
StructuredStatement |
IllegalReturnChecker.transform(StructuredStatement in,
StructuredScope scope) |
StructuredStatement |
LooseCatchChecker.transform(StructuredStatement in,
StructuredScope scope) |
StructuredStatement |
VoidVariableChecker.transform(StructuredStatement in,
StructuredScope scope) |
Modifier and Type | Method and Description |
---|---|
StructuredStatement |
IllegalReturnChecker.transform(StructuredStatement in,
StructuredScope scope) |
StructuredStatement |
LooseCatchChecker.transform(StructuredStatement in,
StructuredScope scope) |
StructuredStatement |
VoidVariableChecker.transform(StructuredStatement in,
StructuredScope scope) |
Modifier and Type | Field and Description |
---|---|
private Matcher<StructuredStatement> |
CollectMatch.inner |
private Matcher<StructuredStatement> |
KleeneN.inner |
private Matcher<StructuredStatement> |
ResetAfterTest.inner |
private Matcher<StructuredStatement> |
MatchOpt.matcher |
Modifier and Type | Method and Description |
---|---|
void |
AbstractMatchResultIterator.collectStatement(java.lang.String name,
StructuredStatement statement) |
void |
EmptyMatchResultCollector.collectStatement(java.lang.String name,
StructuredStatement statement) |
void |
MatchResultCollector.collectStatement(java.lang.String name,
StructuredStatement statement) |
Modifier and Type | Method and Description |
---|---|
(package private) void |
MatchIterator.advanceTo(MatchIterator<StructuredStatement> other) |
boolean |
CollectMatch.match(MatchIterator<StructuredStatement> matchIterator,
MatchResultCollector matchResultCollector) |
boolean |
KleeneN.match(MatchIterator<StructuredStatement> matchIterator,
MatchResultCollector matchResultCollector) |
boolean |
MatchOneOf.match(MatchIterator<StructuredStatement> matchIterator,
MatchResultCollector matchResultCollector) |
boolean |
MatchOpt.match(MatchIterator<StructuredStatement> matchIterator,
MatchResultCollector matchResultCollector) |
boolean |
MatchSequence.match(MatchIterator<StructuredStatement> matchIterator,
MatchResultCollector matchResultCollector) |
boolean |
ResetAfterTest.match(MatchIterator<StructuredStatement> matchIterator,
MatchResultCollector matchResultCollector) |
Constructor and Description |
---|
CollectMatch(java.lang.String name,
Matcher<StructuredStatement> inner) |
KleeneN(int nRequired,
Matcher<StructuredStatement> inner) |
KleenePlus(Matcher<StructuredStatement> inner) |
KleeneStar(Matcher<StructuredStatement> inner) |
MatchOpt(Matcher<StructuredStatement> matcher) |
ResetAfterTest(WildcardMatch wildcardMatch,
Matcher<StructuredStatement> inner) |
ResetAfterTest(WildcardMatch wildcardMatch,
java.lang.String name,
Matcher<StructuredStatement> inner) |
Modifier and Type | Field and Description |
---|---|
(package private) StructuredStatement |
VariableNameTidier.StructuredScopeWithVars.AtLevel.statement |
private StructuredStatement |
InfiniteAssertRewriter.thrw |
Modifier and Type | Method and Description |
---|---|
void |
LValueTypeClashCheck.collect(StackSSALabel lValue,
StatementContainer<StructuredStatement> statementContainer,
Expression value) |
void |
LValueTypeClashCheck.collectLocalVariableAssignment(LocalVariable localVariable,
StatementContainer<StructuredStatement> statementContainer,
Expression value) |
void |
LValueTypeClashCheck.collectMultiUse(StackSSALabel lValue,
StatementContainer<StructuredStatement> statementContainer,
Expression value) |
void |
LValueTypeClashCheck.collectMutatedLValue(LValue lValue,
StatementContainer<StructuredStatement> statementContainer,
Expression value) |
void |
LValueTypeClashCheck.mark(StatementContainer<StructuredStatement> mark) |
Constructor and Description |
---|
AtLevel(StructuredStatement statement) |
Modifier and Type | Method and Description |
---|---|
static java.util.List<StructuredStatement> |
MiscStatementTools.linearise(Op04StructuredStatement root) |
Modifier and Type | Method and Description |
---|---|
StructuredStatement |
Statement.getStructuredStatement() |
Modifier and Type | Field and Description |
---|---|
(package private) java.util.Stack<StatementContainer<StructuredStatement>> |
AbstractLValueScopeDiscoverer.currentBlock |
(package private) StatementContainer<StructuredStatement> |
AbstractLValueScopeDiscoverer.currentMark |
private StatementContainer<StructuredStatement> |
AbstractLValueScopeDiscoverer.ScopeDefinition.exactStatement |
private StatementContainer<StructuredStatement> |
AbstractLValueScopeDiscoverer.ScopeDefinition.localHint |
private java.util.List<StatementContainer<StructuredStatement>> |
AbstractLValueScopeDiscoverer.ScopeDefinition.nestedScope |
private java.util.Map<StructuredStatement,java.lang.Boolean> |
ScopeDiscoverInfoCache.tests |
Modifier and Type | Method and Description |
---|---|
void |
AbstractLValueScopeDiscoverer.enterBlock(StructuredStatement structuredStatement) |
void |
LValueScopeDiscoverer.enterBlock(StructuredStatement structuredStatement) |
java.lang.Boolean |
ScopeDiscoverInfoCache.get(StructuredStatement structuredStatement) |
void |
AbstractLValueScopeDiscoverer.leaveBlock(StructuredStatement structuredStatement) |
void |
LValueScopeDiscoverer.leaveBlock(StructuredStatement structuredStatement) |
void |
ScopeDiscoverInfoCache.put(StructuredStatement structuredStatement,
java.lang.Boolean b) |
Modifier and Type | Class and Description |
---|---|
class |
WildcardMatch.BlockWildcard |
Modifier and Type | Field and Description |
---|---|
(package private) StructuredStatement |
StructuredScope.AtLevel.statement |
Modifier and Type | Method and Description |
---|---|
StructuredStatement |
StructuredStatement.claimBlock(Op04StructuredStatement innerBlock,
BlockIdentifier blockIdentifier,
java.util.Vector<BlockIdentifier> blocksCurrentlyIn) |
StructuredStatement |
StructuredScope.get(int skipN) |
StructuredStatement |
StructuredStatement.informBlockHeirachy(java.util.Vector<BlockIdentifier> blockIdentifiers) |
Modifier and Type | Method and Description |
---|---|
java.util.List<StructuredStatement> |
StructuredScope.getAll() |
Modifier and Type | Method and Description |
---|---|
void |
StructuredScope.add(StructuredStatement statement) |
java.util.Set<Op04StructuredStatement> |
StructuredScope.getDirectFallThrough(StructuredStatement structuredStatement) |
java.util.Set<Op04StructuredStatement> |
StructuredScope.getNextFallThrough(StructuredStatement structuredStatement) |
void |
StructuredScope.remove(StructuredStatement statement) |
void |
StructuredScope.setNextAtThisLevel(StructuredStatement statement,
int next) |
boolean |
StructuredScope.statementIsLast(StructuredStatement statement) |
Modifier and Type | Method and Description |
---|---|
void |
StructuredStatement.linearizeInto(java.util.List<StructuredStatement> out) |
void |
StructuredStatement.markCreator(LValue scopedEntity,
StatementContainer<StructuredStatement> hint) |
Constructor and Description |
---|
AtLevel(StructuredStatement statement) |
Modifier and Type | Field and Description |
---|---|
private StructuredStatement |
StructuredStatementExpression.content |
Modifier and Type | Method and Description |
---|---|
StructuredStatement |
StructuredStatementExpression.getContent() |
Constructor and Description |
---|
StructuredStatementExpression(InferredJavaType inferredJavaType,
StructuredStatement content) |
Modifier and Type | Method and Description |
---|---|
StructuredStatement |
AbstractStructuredStatement.claimBlock(Op04StructuredStatement innerBlock,
BlockIdentifier blockIdentifier,
java.util.Vector<BlockIdentifier> blocksCurrentlyIn) |
StructuredStatement |
UnstructuredCase.claimBlock(Op04StructuredStatement innerBlock,
BlockIdentifier blockIdentifier,
java.util.Vector<BlockIdentifier> blocksCurrentlyIn) |
StructuredStatement |
UnstructuredCatch.claimBlock(Op04StructuredStatement innerBlock,
BlockIdentifier blockIdentifier,
java.util.Vector<BlockIdentifier> blocksCurrentlyIn) |
StructuredStatement |
UnstructuredDo.claimBlock(Op04StructuredStatement innerBlock,
BlockIdentifier blockIdentifier,
java.util.Vector<BlockIdentifier> blocksCurrentlyIn) |
StructuredStatement |
UnstructuredFinally.claimBlock(Op04StructuredStatement innerBlock,
BlockIdentifier blockIdentifier,
java.util.Vector<BlockIdentifier> blocksCurrentlyIn) |
StructuredStatement |
UnstructuredFor.claimBlock(Op04StructuredStatement innerBlock,
BlockIdentifier blockIdentifier,
java.util.Vector<BlockIdentifier> blocksCurrentlyIn) |
StructuredStatement |
UnstructuredIf.claimBlock(Op04StructuredStatement innerBlock,
BlockIdentifier blockIdentifier,
java.util.Vector<BlockIdentifier> blocksCurrentlyIn) |
StructuredStatement |
UnstructuredIter.claimBlock(Op04StructuredStatement innerBlock,
BlockIdentifier blockIdentifier,
java.util.Vector<BlockIdentifier> blocksCurrentlyIn) |
StructuredStatement |
UnstructuredSwitch.claimBlock(Op04StructuredStatement innerBlock,
BlockIdentifier blockIdentifier,
java.util.Vector<BlockIdentifier> blocksCurrentlyIn) |
StructuredStatement |
UnstructuredSynchronized.claimBlock(Op04StructuredStatement innerBlock,
BlockIdentifier blockIdentifier,
java.util.Vector<BlockIdentifier> blocksCurrentlyIn) |
StructuredStatement |
UnstructuredTry.claimBlock(Op04StructuredStatement innerBlock,
BlockIdentifier blockIdentifier,
java.util.Vector<BlockIdentifier> blocksCurrentlyIn) |
StructuredStatement |
UnstructuredWhile.claimBlock(Op04StructuredStatement innerBlock,
BlockIdentifier blockIdentifier,
java.util.Vector<BlockIdentifier> blocksCurrentlyIn) |
StructuredStatement |
UnstructuredIf.convertEmptyToGoto() |
StructuredStatement |
StructuredIf.convertToAssertion(StructuredAssert structuredAssert) |
private StructuredStatement |
UnstructuredCatch.getCatchFor(Op04StructuredStatement innerBlock) |
StructuredStatement |
UnstructuredCatch.getCatchForEmpty() |
(package private) StructuredStatement |
UnstructuredCase.getEmptyStructuredCase() |
(package private) StructuredStatement |
UnstructuredTry.getEmptyTry() |
StructuredStatement |
AbstractStructuredStatement.informBlockHeirachy(java.util.Vector<BlockIdentifier> blockIdentifiers) |
StructuredStatement |
StructuredAssert.informBlockHeirachy(java.util.Vector<BlockIdentifier> blockIdentifiers) |
StructuredStatement |
StructuredIf.informBlockHeirachy(java.util.Vector<BlockIdentifier> blockIdentifiers) |
StructuredStatement |
UnstructuredAnonymousBreak.informBlockHeirachy(java.util.Vector<BlockIdentifier> blockIdentifiers) |
StructuredStatement |
UnstructuredBreak.informBlockHeirachy(java.util.Vector<BlockIdentifier> blockIdentifiers) |
StructuredStatement |
UnstructuredContinue.informBlockHeirachy(java.util.Vector<BlockIdentifier> blockIdentifiers) |
StructuredStatement |
UnstructuredWhile.informBlockHeirachy(java.util.Vector<BlockIdentifier> blockIdentifiers) |
(package private) StructuredStatement |
UnstructuredAnonymousBreak.tryExplicitlyPlaceInBlock(BlockIdentifier block) |
Modifier and Type | Method and Description |
---|---|
static Block |
Block.getBlockFor(boolean indenting,
StructuredStatement... statements) |
Modifier and Type | Method and Description |
---|---|
void |
AbstractStructuredConditionalLoopStatement.linearizeInto(java.util.List<StructuredStatement> out) |
void |
AbstractUnStructuredStatement.linearizeInto(java.util.List<StructuredStatement> out) |
void |
Block.linearizeInto(java.util.List<StructuredStatement> out) |
void |
StructuredAssert.linearizeInto(java.util.List<StructuredStatement> out) |
void |
StructuredAssignment.linearizeInto(java.util.List<StructuredStatement> out) |
void |
StructuredBreak.linearizeInto(java.util.List<StructuredStatement> out) |
void |
StructuredCase.linearizeInto(java.util.List<StructuredStatement> out) |
void |
StructuredCatch.linearizeInto(java.util.List<StructuredStatement> out) |
void |
StructuredComment.linearizeInto(java.util.List<StructuredStatement> out) |
void |
StructuredContinue.linearizeInto(java.util.List<StructuredStatement> out) |
void |
StructuredDefinition.linearizeInto(java.util.List<StructuredStatement> out) |
void |
StructuredExpressionStatement.linearizeInto(java.util.List<StructuredStatement> out) |
void |
StructuredExpressionYield.linearizeInto(java.util.List<StructuredStatement> out) |
void |
StructuredFinally.linearizeInto(java.util.List<StructuredStatement> out) |
void |
StructuredFor.linearizeInto(java.util.List<StructuredStatement> out) |
void |
StructuredIf.linearizeInto(java.util.List<StructuredStatement> out) |
void |
StructuredIter.linearizeInto(java.util.List<StructuredStatement> out) |
void |
StructuredReturn.linearizeInto(java.util.List<StructuredStatement> out) |
void |
StructuredSwitch.linearizeInto(java.util.List<StructuredStatement> out) |
void |
StructuredSynchronized.linearizeInto(java.util.List<StructuredStatement> out) |
void |
StructuredThrow.linearizeInto(java.util.List<StructuredStatement> out) |
void |
StructuredTry.linearizeInto(java.util.List<StructuredStatement> out) |
void |
UnstructuredAnonBreakTarget.linearizeInto(java.util.List<StructuredStatement> out) |
void |
UnstructuredContinue.linearizeInto(java.util.List<StructuredStatement> out) |
void |
AbstractStructuredStatement.markCreator(LValue scopedEntity,
StatementContainer<StructuredStatement> hint) |
void |
Block.markCreator(LValue scopedEntity,
StatementContainer<StructuredStatement> hint) |
void |
StructuredAssignment.markCreator(LValue scopedEntity,
StatementContainer<StructuredStatement> hint) |
void |
StructuredCatch.markCreator(LValue scopedEntity,
StatementContainer<StructuredStatement> hint) |
void |
StructuredFor.markCreator(LValue scopedEntity,
StatementContainer<StructuredStatement> hint) |
void |
StructuredIf.markCreator(LValue scopedEntity,
StatementContainer<StructuredStatement> hint) |
void |
StructuredIter.markCreator(LValue scopedEntity,
StatementContainer<StructuredStatement> hint) |
boolean |
AbstractStructuredStatement.match(MatchIterator<StructuredStatement> matchIterator,
MatchResultCollector matchResultCollector) |
boolean |
AbstractUnStructuredStatement.match(MatchIterator<StructuredStatement> matchIterator,
MatchResultCollector matchResultCollector) |
boolean |
Block.match(MatchIterator<StructuredStatement> matchIterator,
MatchResultCollector matchResultCollector) |
boolean |
StructuredAssert.match(MatchIterator<StructuredStatement> matchIterator,
MatchResultCollector matchResultCollector) |
boolean |
StructuredAssignment.match(MatchIterator<StructuredStatement> matchIterator,
MatchResultCollector matchResultCollector) |
boolean |
StructuredBreak.match(MatchIterator<StructuredStatement> matchIterator,
MatchResultCollector matchResultCollector) |
boolean |
StructuredCase.match(MatchIterator<StructuredStatement> matchIterator,
MatchResultCollector matchResultCollector) |
boolean |
StructuredCatch.match(MatchIterator<StructuredStatement> matchIterator,
MatchResultCollector matchResultCollector) |
boolean |
StructuredDefinition.match(MatchIterator<StructuredStatement> matchIterator,
MatchResultCollector matchResultCollector) |
boolean |
StructuredDo.match(MatchIterator<StructuredStatement> matchIterator,
MatchResultCollector matchResultCollector) |
boolean |
StructuredExpressionStatement.match(MatchIterator<StructuredStatement> matchIterator,
MatchResultCollector matchResultCollector) |
boolean |
StructuredExpressionYield.match(MatchIterator<StructuredStatement> matchIterator,
MatchResultCollector matchResultCollector) |
boolean |
StructuredFinally.match(MatchIterator<StructuredStatement> matchIterator,
MatchResultCollector matchResultCollector) |
boolean |
StructuredFor.match(MatchIterator<StructuredStatement> matchIterator,
MatchResultCollector matchResultCollector) |
boolean |
StructuredIf.match(MatchIterator<StructuredStatement> matchIterator,
MatchResultCollector matchResultCollector) |
boolean |
StructuredReturn.match(MatchIterator<StructuredStatement> matchIterator,
MatchResultCollector matchResultCollector) |
boolean |
StructuredSwitch.match(MatchIterator<StructuredStatement> matchIterator,
MatchResultCollector matchResultCollector) |
boolean |
StructuredSynchronized.match(MatchIterator<StructuredStatement> matchIterator,
MatchResultCollector matchResultCollector) |
boolean |
StructuredThrow.match(MatchIterator<StructuredStatement> matchIterator,
MatchResultCollector matchResultCollector) |
boolean |
StructuredTry.match(MatchIterator<StructuredStatement> matchIterator,
MatchResultCollector matchResultCollector) |
boolean |
StructuredWhile.match(MatchIterator<StructuredStatement> matchIterator,
MatchResultCollector matchResultCollector) |
boolean |
UnstructuredContinue.match(MatchIterator<StructuredStatement> matchIterator,
MatchResultCollector matchResultCollector) |
StructuredBreak |
StructuredBreak.maybeTightenToLocal(java.util.Stack<Triplet<StructuredStatement,BlockIdentifier,java.util.Set<Op04StructuredStatement>>> scopes) |
Modifier and Type | Class and Description |
---|---|
class |
AbstractPlaceholder |
class |
BeginBlock |
class |
ElseBlock |
class |
EndBlock |
Modifier and Type | Method and Description |
---|---|
StructuredStatement |
AbstractPlaceholder.claimBlock(Op04StructuredStatement innerBlock,
BlockIdentifier blockIdentifier,
java.util.Vector<BlockIdentifier> blocksCurrentlyIn) |
StructuredStatement |
AbstractPlaceholder.informBlockHeirachy(java.util.Vector<BlockIdentifier> blockIdentifiers) |
Modifier and Type | Method and Description |
---|---|
void |
AbstractPlaceholder.linearizeInto(java.util.List<StructuredStatement> out) |
void |
AbstractPlaceholder.markCreator(LValue scopedEntity,
StatementContainer<StructuredStatement> hint) |
boolean |
BeginBlock.match(MatchIterator<StructuredStatement> matchIterator,
MatchResultCollector matchResultCollector) |
boolean |
ElseBlock.match(MatchIterator<StructuredStatement> matchIterator,
MatchResultCollector matchResultCollector) |
boolean |
EndBlock.match(MatchIterator<StructuredStatement> matchIterator,
MatchResultCollector matchResultCollector) |