public class SpecificationInjector extends SourceVisitor
Constructor and Description |
---|
SpecificationInjector(SpecificationContainer sc,
SourceInfo sourceInfo) |
Modifier and Type | Method and Description |
---|---|
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
public SpecificationInjector(SpecificationContainer sc, SourceInfo sourceInfo)
public java.util.List<MethodDeclaration> getSpecifiedMethodDeclarations()
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
Copyright © 2003-2019 The KeY-Project.