public class SpecificationInjector extends SourceVisitor
Modifier and Type | Class and Description |
---|---|
private static class |
SpecificationInjector.JMLFactory
Produces JML* respects clauses.
|
Modifier and Type | Field and Description |
---|---|
private static java.lang.String |
DEFAULT_SPEC_COMMENT |
private static java.lang.String |
LINE_BREAK |
private SpecificationContainer |
sc |
private SourceInfo |
si |
private java.util.List<MethodDeclaration> |
specifiedMethodDeclarations |
Constructor and Description |
---|
SpecificationInjector(SpecificationContainer sc,
SourceInfo sourceInfo) |
Modifier and Type | Method and Description |
---|---|
private void |
accessChildren(JavaNonTerminalProgramElement pe) |
private void |
addComment(JavaProgramElement se,
java.lang.String comment) |
java.util.List<MethodDeclaration> |
getSpecifiedMethodDeclarations() |
void |
visitClassDeclaration(ClassDeclaration cd) |
void |
visitCompilationUnit(CompilationUnit cu) |
void |
visitInterfaceDeclaration(InterfaceDeclaration id) |
void |
visitMethodDeclaration(MethodDeclaration md) |
visitAbstract, visitAnnotationDeclaration, visitAnnotationPropertyDeclaration, visitAnnotationPropertyReference, visitAnnotationUse, visitArrayInitializer, visitArrayLengthReference, visitArrayReference, visitAssert, visitBinaryAnd, visitBinaryAndAssignment, visitBinaryNot, visitBinaryOr, visitBinaryOrAssignment, visitBinaryXOr, visitBinaryXOrAssignment, visitBooleanLiteral, visitBreak, visitCase, visitCatch, visitCharLiteral, visitClassInitializer, visitComment, visitConditional, visitConstructorDeclaration, visitContinue, visitCopyAssignment, visitDeclarationSpecifier, visitDefault, visitDivide, visitDivideAssignment, visitDo, visitDocComment, visitDoubleLiteral, visitElementValueArrayInitializer, visitElementValuePair, visitElse, visitEmptyStatement, visitEnhancedFor, visitEnumConstantDeclaration, visitEnumConstantSpecification, visitEnumConstructorReference, visitEnumDeclaration, visitEquals, visitExtends, visitFieldDeclaration, visitFieldReference, visitFieldSpecification, visitFinal, visitFinally, visitFloatLiteral, visitFor, visitGreaterOrEquals, visitGreaterThan, visitIdentifier, visitIf, visitImplements, visitImport, visitInstanceof, visitIntLiteral, visitLabeledStatement, visitLessOrEquals, visitLessThan, visitLiteral, visitLocalVariableDeclaration, visitLogicalAnd, visitLogicalNot, visitLogicalOr, visitLongLiteral, visitMetaClassReference, visitMethodReference, visitMinus, visitMinusAssignment, visitModifier, visitModulo, visitModuloAssignment, visitNative, visitNegative, visitNew, visitNewArray, visitNotEquals, visitNullLiteral, visitOperator, visitPackageReference, visitPackageSpecification, visitParameterDeclaration, visitParenthesizedExpression, visitPlus, visitPlusAssignment, visitPositive, visitPostDecrement, visitPostIncrement, visitPreDecrement, visitPreIncrement, visitPrivate, visitProtected, visitPublic, visitReturn, visitShiftLeft, visitShiftLeftAssignment, visitShiftRight, visitShiftRightAssignment, visitSingleLineComment, visitStatementBlock, visitStatic, visitStrictFp, visitStringLiteral, visitSuperConstructorReference, visitSuperReference, visitSwitch, visitSynchronized, visitSynchronizedBlock, visitThen, visitThisConstructorReference, visitThisReference, visitThrow, visitThrows, visitTimes, visitTimesAssignment, visitTransient, visitTry, visitTypeArgument, visitTypeCast, visitTypeParameter, visitTypeReference, visitUncollatedReferenceQualifier, visitUnsignedShiftRight, visitUnsignedShiftRightAssignment, visitVariableDeclaration, visitVariableReference, visitVariableSpecification, visitVolatile, visitWhile
private static final java.lang.String LINE_BREAK
private static final java.lang.String DEFAULT_SPEC_COMMENT
private final SpecificationContainer sc
private final SourceInfo si
private java.util.List<MethodDeclaration> specifiedMethodDeclarations
public SpecificationInjector(SpecificationContainer sc, SourceInfo sourceInfo)
public java.util.List<MethodDeclaration> getSpecifiedMethodDeclarations()
private void accessChildren(JavaNonTerminalProgramElement pe)
private void addComment(JavaProgramElement se, java.lang.String comment)
public void visitClassDeclaration(ClassDeclaration cd)
visitClassDeclaration
in class SourceVisitor
public void visitCompilationUnit(CompilationUnit cu)
visitCompilationUnit
in class SourceVisitor
public void visitInterfaceDeclaration(InterfaceDeclaration id)
visitInterfaceDeclaration
in class SourceVisitor
public void visitMethodDeclaration(MethodDeclaration md)
visitMethodDeclaration
in class SourceVisitor