de.uka.ilkd.key.java.recoderext

Class RecoderModelTransformer.TypeAndClassDeclarationCollector

java.lang.Object

recoder.java.SourceVisitor

de.uka.ilkd.key.java.recoderext.SourceVisitorExtended

de.uka.ilkd.key.java.recoderext.RecoderModelTransformer.TypeAndClassDeclarationCollector

Enclosing class:

RecoderModelTransformer

private static class RecoderModelTransformer.TypeAndClassDeclarationCollector
extends SourceVisitorExtended

Field Summary

Fields

Modifier and Type	Field and Description
private HashSet<ClassDeclaration>	result
private HashSet<TypeDeclaration>	types

Constructor Summary

Constructors

Constructor and Description
TypeAndClassDeclarationCollector()

Method Summary

Modifier and Type	Method and Description
HashSet<ClassDeclaration>	result()
HashSet<TypeDeclaration>	types()
void	visitClassDeclaration(ClassDeclaration cld)
void	walk(SourceElement s)

Methods inherited from class de.uka.ilkd.key.java.recoderext.SourceVisitorExtended

visitCatchAll

Methods inherited from class recoder.java.SourceVisitor

visitAbstract, visitAnnotationDeclaration, visitAnnotationPropertyDeclaration, visitAnnotationPropertyReference, visitAnnotationUse, visitArrayInitializer, visitArrayLengthReference, visitArrayReference, visitAssert, visitBinaryAnd, visitBinaryAndAssignment, visitBinaryNot, visitBinaryOr, visitBinaryOrAssignment, visitBinaryXOr, visitBinaryXOrAssignment, visitBooleanLiteral, visitBreak, visitCase, visitCatch, visitCharLiteral, visitClassInitializer, visitComment, visitCompilationUnit, 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, visitInterfaceDeclaration, visitIntLiteral, visitLabeledStatement, visitLessOrEquals, visitLessThan, visitLiteral, visitLocalVariableDeclaration, visitLogicalAnd, visitLogicalNot, visitLogicalOr, visitLongLiteral, visitMetaClassReference, visitMethodDeclaration, 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

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

result

private HashSet<ClassDeclaration> result

types

private HashSet<TypeDeclaration> types

Constructor Detail

TypeAndClassDeclarationCollector

public TypeAndClassDeclarationCollector()

Method Detail

walk

public void walk(SourceElement s)

visitClassDeclaration

public void visitClassDeclaration(ClassDeclaration cld)

Overrides:

visitClassDeclaration in class SourceVisitor

result

public HashSet<ClassDeclaration> result()

types

public HashSet<TypeDeclaration> types()