Modifier and Type | Method and Description |
---|---|
StructuredStatement |
Op04StructuredStatement.getStatement() |
StructuredStatement |
Op04StructuredStatement.getTargetStatement(int idx) |
StructuredStatement |
Op04StructuredStatement.UnstructuredIfConverter.transform(StructuredStatement in,
StructuredScope scope) |
Modifier and Type | Method and Description |
---|---|
void |
Op04StructuredStatement.replaceStatement(StructuredStatement newTarget) |
StructuredStatement |
Op04StructuredStatement.UnstructuredIfConverter.transform(StructuredStatement in,
StructuredScope scope) |
Modifier and Type | Method and Description |
---|---|
void |
Op04StructuredStatement.copyBlockInformationFrom(StatementContainer<StructuredStatement> other) |
void |
Op04StructuredStatement.copyBytecodeInformationFrom(StatementContainer<StructuredStatement> other) |
void |
Op04StructuredStatement.linearizeStatementsInto(List<StructuredStatement> out) |
Constructor and Description |
---|
Op04StructuredStatement(InstrIndex instrIndex,
Collection<BlockIdentifier> blockMembership,
StructuredStatement structuredStatement) |
Op04StructuredStatement(StructuredStatement justStatement) |
Modifier and Type | Method and Description |
---|---|
StructuredStatement |
InnerClassConstructorRewriter.getAssignmentStatement() |
StructuredStatement |
SwitchExpressionRewriter.transform(StructuredStatement in,
StructuredScope scope) |
StructuredStatement |
ClashDeclarationReducer.transform(StructuredStatement in,
StructuredScope scope) |
Modifier and Type | Method and Description |
---|---|
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 |
---|---|
StructuredStatement |
SwitchExpressionRewriter.transform(StructuredStatement in,
StructuredScope scope) |
StructuredStatement |
ClashDeclarationReducer.transform(StructuredStatement in,
StructuredScope scope) |
Modifier and Type | Method and Description |
---|---|
StructuredStatement |
VoidVariableChecker.transform(StructuredStatement in,
StructuredScope scope) |
StructuredStatement |
LooseCatchChecker.transform(StructuredStatement in,
StructuredScope scope) |
StructuredStatement |
IllegalReturnChecker.transform(StructuredStatement in,
StructuredScope scope) |
Modifier and Type | Method and Description |
---|---|
StructuredStatement |
VoidVariableChecker.transform(StructuredStatement in,
StructuredScope scope) |
StructuredStatement |
LooseCatchChecker.transform(StructuredStatement in,
StructuredScope scope) |
StructuredStatement |
IllegalReturnChecker.transform(StructuredStatement in,
StructuredScope scope) |
Modifier and Type | Method and Description |
---|---|
void |
MatchResultCollector.collectStatement(String name,
StructuredStatement statement) |
void |
AbstractMatchResultIterator.collectStatement(String name,
StructuredStatement statement) |
void |
EmptyMatchResultCollector.collectStatement(String name,
StructuredStatement statement) |
Modifier and Type | Method and Description |
---|---|
boolean |
MatchSequence.match(MatchIterator<StructuredStatement> matchIterator,
MatchResultCollector matchResultCollector) |
boolean |
ResetAfterTest.match(MatchIterator<StructuredStatement> matchIterator,
MatchResultCollector matchResultCollector) |
boolean |
MatchOneOf.match(MatchIterator<StructuredStatement> matchIterator,
MatchResultCollector matchResultCollector) |
boolean |
MatchOpt.match(MatchIterator<StructuredStatement> matchIterator,
MatchResultCollector matchResultCollector) |
boolean |
KleeneN.match(MatchIterator<StructuredStatement> matchIterator,
MatchResultCollector matchResultCollector) |
boolean |
CollectMatch.match(MatchIterator<StructuredStatement> matchIterator,
MatchResultCollector matchResultCollector) |
Constructor and Description |
---|
CollectMatch(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,
String name,
Matcher<StructuredStatement> inner) |
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) |
Modifier and Type | Method and Description |
---|---|
static List<StructuredStatement> |
MiscStatementTools.linearise(Op04StructuredStatement root) |
Modifier and Type | Method and Description |
---|---|
StructuredStatement |
Statement.getStructuredStatement() |
Modifier and Type | Method and Description |
---|---|
void |
AbstractLValueScopeDiscoverer.enterBlock(StructuredStatement structuredStatement) |
void |
LValueScopeDiscoverer.enterBlock(StructuredStatement structuredStatement) |
Boolean |
ScopeDiscoverInfoCache.get(StructuredStatement structuredStatement) |
void |
AbstractLValueScopeDiscoverer.leaveBlock(StructuredStatement structuredStatement) |
void |
LValueScopeDiscoverer.leaveBlock(StructuredStatement structuredStatement) |
void |
ScopeDiscoverInfoCache.put(StructuredStatement structuredStatement,
Boolean b) |
Modifier and Type | Class and Description |
---|---|
class |
WildcardMatch.BlockWildcard |
Modifier and Type | Method and Description |
---|---|
StructuredStatement |
StructuredStatement.claimBlock(Op04StructuredStatement innerBlock,
BlockIdentifier blockIdentifier,
Vector<BlockIdentifier> blocksCurrentlyIn) |
StructuredStatement |
StructuredScope.get(int skipN) |
StructuredStatement |
StructuredStatement.informBlockHeirachy(Vector<BlockIdentifier> blockIdentifiers) |
Modifier and Type | Method and Description |
---|---|
List<StructuredStatement> |
StructuredScope.getAll() |
Modifier and Type | Method and Description |
---|---|
void |
StructuredScope.add(StructuredStatement statement) |
Set<Op04StructuredStatement> |
StructuredScope.getDirectFallThrough(StructuredStatement structuredStatement) |
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(List<StructuredStatement> out) |
void |
StructuredStatement.markCreator(LValue scopedEntity,
StatementContainer<StructuredStatement> hint) |
Modifier and Type | Method and Description |
---|---|
StructuredStatement |
StructuredStatementExpression.getContent() |
Constructor and Description |
---|
StructuredStatementExpression(InferredJavaType inferredJavaType,
StructuredStatement content) |
Modifier and Type | Method and Description |
---|---|
static Block |
Block.getBlockFor(boolean indenting,
StructuredStatement... statements) |
Modifier and Type | Method and Description |
---|---|
void |
StructuredSwitch.linearizeInto(List<StructuredStatement> out) |
void |
StructuredSynchronized.linearizeInto(List<StructuredStatement> out) |
void |
StructuredComment.linearizeInto(List<StructuredStatement> out) |
void |
UnstructuredAnonBreakTarget.linearizeInto(List<StructuredStatement> out) |
void |
AbstractStructuredConditionalLoopStatement.linearizeInto(List<StructuredStatement> out) |
void |
StructuredCatch.linearizeInto(List<StructuredStatement> out) |
void |
StructuredBreak.linearizeInto(List<StructuredStatement> out) |
void |
StructuredExpressionYield.linearizeInto(List<StructuredStatement> out) |
void |
StructuredTry.linearizeInto(List<StructuredStatement> out) |
void |
StructuredFinally.linearizeInto(List<StructuredStatement> out) |
void |
StructuredAssignment.linearizeInto(List<StructuredStatement> out) |
void |
StructuredExpressionStatement.linearizeInto(List<StructuredStatement> out) |
void |
StructuredAssert.linearizeInto(List<StructuredStatement> out) |
void |
StructuredThrow.linearizeInto(List<StructuredStatement> out) |
void |
StructuredReturn.linearizeInto(List<StructuredStatement> out) |
void |
StructuredIter.linearizeInto(List<StructuredStatement> out) |
void |
Block.linearizeInto(List<StructuredStatement> out) |
void |
AbstractUnStructuredStatement.linearizeInto(List<StructuredStatement> out) |
void |
StructuredDefinition.linearizeInto(List<StructuredStatement> out) |
void |
StructuredContinue.linearizeInto(List<StructuredStatement> out) |
void |
UnstructuredContinue.linearizeInto(List<StructuredStatement> out) |
void |
StructuredFor.linearizeInto(List<StructuredStatement> out) |
void |
StructuredIf.linearizeInto(List<StructuredStatement> out) |
void |
StructuredCase.linearizeInto(List<StructuredStatement> out) |
void |
StructuredCatch.markCreator(LValue scopedEntity,
StatementContainer<StructuredStatement> hint) |
void |
AbstractStructuredStatement.markCreator(LValue scopedEntity,
StatementContainer<StructuredStatement> hint) |
void |
StructuredAssignment.markCreator(LValue scopedEntity,
StatementContainer<StructuredStatement> hint) |
void |
StructuredIter.markCreator(LValue scopedEntity,
StatementContainer<StructuredStatement> hint) |
void |
Block.markCreator(LValue scopedEntity,
StatementContainer<StructuredStatement> hint) |
void |
StructuredFor.markCreator(LValue scopedEntity,
StatementContainer<StructuredStatement> hint) |
void |
StructuredIf.markCreator(LValue scopedEntity,
StatementContainer<StructuredStatement> hint) |
boolean |
StructuredDo.match(MatchIterator<StructuredStatement> matchIterator,
MatchResultCollector matchResultCollector) |
boolean |
StructuredSwitch.match(MatchIterator<StructuredStatement> matchIterator,
MatchResultCollector matchResultCollector) |
boolean |
StructuredSynchronized.match(MatchIterator<StructuredStatement> matchIterator,
MatchResultCollector matchResultCollector) |
boolean |
StructuredCatch.match(MatchIterator<StructuredStatement> matchIterator,
MatchResultCollector matchResultCollector) |
boolean |
AbstractStructuredStatement.match(MatchIterator<StructuredStatement> matchIterator,
MatchResultCollector matchResultCollector) |
boolean |
StructuredBreak.match(MatchIterator<StructuredStatement> matchIterator,
MatchResultCollector matchResultCollector) |
boolean |
StructuredExpressionYield.match(MatchIterator<StructuredStatement> matchIterator,
MatchResultCollector matchResultCollector) |
boolean |
StructuredTry.match(MatchIterator<StructuredStatement> matchIterator,
MatchResultCollector matchResultCollector) |
boolean |
StructuredFinally.match(MatchIterator<StructuredStatement> matchIterator,
MatchResultCollector matchResultCollector) |
boolean |
StructuredAssignment.match(MatchIterator<StructuredStatement> matchIterator,
MatchResultCollector matchResultCollector) |
boolean |
StructuredExpressionStatement.match(MatchIterator<StructuredStatement> matchIterator,
MatchResultCollector matchResultCollector) |
boolean |
StructuredAssert.match(MatchIterator<StructuredStatement> matchIterator,
MatchResultCollector matchResultCollector) |
boolean |
StructuredThrow.match(MatchIterator<StructuredStatement> matchIterator,
MatchResultCollector matchResultCollector) |
boolean |
StructuredReturn.match(MatchIterator<StructuredStatement> matchIterator,
MatchResultCollector matchResultCollector) |
boolean |
Block.match(MatchIterator<StructuredStatement> matchIterator,
MatchResultCollector matchResultCollector) |
boolean |
StructuredWhile.match(MatchIterator<StructuredStatement> matchIterator,
MatchResultCollector matchResultCollector) |
boolean |
AbstractUnStructuredStatement.match(MatchIterator<StructuredStatement> matchIterator,
MatchResultCollector matchResultCollector) |
boolean |
StructuredDefinition.match(MatchIterator<StructuredStatement> matchIterator,
MatchResultCollector matchResultCollector) |
boolean |
UnstructuredContinue.match(MatchIterator<StructuredStatement> matchIterator,
MatchResultCollector matchResultCollector) |
boolean |
StructuredFor.match(MatchIterator<StructuredStatement> matchIterator,
MatchResultCollector matchResultCollector) |
boolean |
StructuredIf.match(MatchIterator<StructuredStatement> matchIterator,
MatchResultCollector matchResultCollector) |
boolean |
StructuredCase.match(MatchIterator<StructuredStatement> matchIterator,
MatchResultCollector matchResultCollector) |
StructuredBreak |
StructuredBreak.maybeTightenToLocal(Stack<Triplet<StructuredStatement,BlockIdentifier,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,
Vector<BlockIdentifier> blocksCurrentlyIn) |
StructuredStatement |
AbstractPlaceholder.informBlockHeirachy(Vector<BlockIdentifier> blockIdentifiers) |
Modifier and Type | Method and Description |
---|---|
void |
AbstractPlaceholder.linearizeInto(List<StructuredStatement> out) |
void |
AbstractPlaceholder.markCreator(LValue scopedEntity,
StatementContainer<StructuredStatement> hint) |
boolean |
ElseBlock.match(MatchIterator<StructuredStatement> matchIterator,
MatchResultCollector matchResultCollector) |
boolean |
EndBlock.match(MatchIterator<StructuredStatement> matchIterator,
MatchResultCollector matchResultCollector) |
boolean |
BeginBlock.match(MatchIterator<StructuredStatement> matchIterator,
MatchResultCollector matchResultCollector) |
Copyright © 2011-2021. All Rights Reserved.