Java Doc for LabelCollector.java in » Testing » KeY » de » uka » ilkd » key » java » visitor » Java Source Code / Java DocumentationJava Source Code and Java Documentation
Java Source Code / Java Documentation
1.
6.0 JDK Core
2.
6.0 JDK Modules
3.
6.0 JDK Modules com.sun
4.
6.0 JDK Modules com.sun.java
5.
6.0 JDK Modules sun
6.
6.0 JDK Platform
7.
Ajax
8.
Apache Harmony Java SE
9.
Aspect oriented
10.
Authentication Authorization
11.
Blogger System
12.
Build
13.
Byte Code
14.
Cache
15.
Chart
16.
Chat
17.
Code Analyzer
18.
Collaboration
19.
Content Management System
20.
Database Client
21.
Database DBMS
22.
Database JDBC Connection Pool
23.
Database ORM
24.
Development
25.
EJB Server geronimo
26.
EJB Server GlassFish
27.
EJB Server JBoss 4.2.1
28.
EJB Server resin 3.1.5
29.
ERP CRM Financial
30.
ESB
31.
Forum
32.
GIS
33.
Graphic Library
34.
Groupware
35.
HTML Parser
36.
IDE
37.
IDE Eclipse
38.
IDE Netbeans
39.
Installer
40.
Internationalization Localization
41.
Inversion of Control
42.
Issue Tracking
43.
J2EE
44.
JBoss
45.
JMS
46.
JMX
47.
Library
48.
Mail Clients
49.
Net
50.
Parser
51.
PDF
52.
Portal
53.
Profiler
54.
Project Management
55.
Report
56.
RSS RDF
57.
Rule Engine
58.
Science
59.
Scripting
60.
Search Engine
61.
Security
62.
Sevlet Container
63.
Source Control
64.
Swing Library
65.
Template Engine
66.
Test Coverage
67.
Testing
68.
UML
69.
Web Crawler
70.
Web Framework
71.
Web Mail
72.
Web Server
73.
Web Services
74.
Web Services apache cxf 2.0.1
75.
Web Services AXIS2
76.
Wiki Engine
77.
Workflow Engines
78.
XML
79.
XML UI
Java
Java Tutorial
Java Open Source
Jar File Download
Java Articles
Java Products
Java by API
Photoshop Tutorials
Maya Tutorials
Flash Tutorials
3ds-Max Tutorials
Illustrator Tutorials
GIMP Tutorials
C# / C Sharp
C# / CSharp Tutorial
C# / CSharp Open Source
ASP.Net
ASP.NET Tutorial
JavaScript DHTML
JavaScript Tutorial
JavaScript Reference
HTML / CSS
HTML CSS Reference
C / ANSI-C
C Tutorial
C++
C++ Tutorial
Ruby
PHP
Python
Python Tutorial
Python Open Source
SQL Server / T-SQL
SQL Server / T-SQL Tutorial
Oracle PL / SQL
Oracle PL/SQL Tutorial
PostgreSQL
SQL / MySQL
MySQL Tutorial
VB.Net
VB.Net Tutorial
Flash / Flex / ActionScript
VBA / Excel / Access / Word
XML
XML Tutorial
Microsoft Office PowerPoint 2007 Tutorial
Microsoft Office Excel 2007 Tutorial
Microsoft Office Word 2007 Tutorial
Java Source Code / Java Documentation
»
Testing
»
KeY
»
de.uka.ilkd.key.java.visitor
Source Cross Reference
Class Diagram
Java Document (Java Doc)
java.lang
.Object
de.uka.ilkd.key.java.visitor
.JavaASTWalker
de.uka.ilkd.key.java.visitor
.JavaASTVisitor
de.uka.ilkd.key.java.visitor
.LabelCollector
LabelCollector
public
class LabelCollector extends
JavaASTVisitor
(Code)
Collects all labels found in a given program.
Constructor Summary
public
LabelCollector
(
ProgramElement
root,
HashSet
labels)
Method Summary
public
boolean
contains
(
Label
l)
protected
void
doAction
(
ProgramElement
node)
protected
void
doDefaultAction
(
SourceElement
node)
Constructor Detail
LabelCollector
public
LabelCollector(
ProgramElement
root,
HashSet
labels)
(Code)
Method Detail
contains
public
boolean contains(
Label
l)
(Code)
doAction
protected
void doAction(
ProgramElement
node)
(Code)
doDefaultAction
protected
void doDefaultAction(
SourceElement
node)
(Code)
Methods inherited from
de.uka.ilkd.key.java.visitor.JavaASTVisitor
abstract
protected
void doDefaultAction(
SourceElement
node)
(Code)
(Java Doc)
public
void performActionOnAbstractProgramElement(
AbstractProgramElement
x)
(Code)
(Java Doc)
protected
void performActionOnAnnotationArray(
Annotation
[] a)
(Code)
(Java Doc)
public
void performActionOnArrayDeclaration(
ArrayDeclaration
x)
(Code)
(Java Doc)
public
void performActionOnArrayInitializer(
ArrayInitializer
x)
(Code)
(Java Doc)
public
void performActionOnArrayLengthReference(
ArrayLengthReference
x)
(Code)
(Java Doc)
public
void performActionOnArrayReference(
ArrayReference
x)
(Code)
(Java Doc)
public
void performActionOnAssert(
Assert
x)
(Code)
(Java Doc)
public
void performActionOnBinaryAnd(
BinaryAnd
x)
(Code)
(Java Doc)
public
void performActionOnBinaryAndAssignment(
BinaryAndAssignment
x)
(Code)
(Java Doc)
public
void performActionOnBinaryNot(
BinaryNot
x)
(Code)
(Java Doc)
public
void performActionOnBinaryOr(
BinaryOr
x)
(Code)
(Java Doc)
public
void performActionOnBinaryOrAssignment(
BinaryOrAssignment
x)
(Code)
(Java Doc)
public
void performActionOnBinaryXOr(
BinaryXOr
x)
(Code)
(Java Doc)
public
void performActionOnBinaryXOrAssignment(
BinaryXOrAssignment
x)
(Code)
(Java Doc)
public
void performActionOnBooleanLiteral(
BooleanLiteral
x)
(Code)
(Java Doc)
public
void performActionOnBreak(
Break
x)
(Code)
(Java Doc)
public
void performActionOnCase(
Case
x)
(Code)
(Java Doc)
public
void performActionOnCatch(
Catch
x)
(Code)
(Java Doc)
public
void performActionOnCatchAllStatement(
CatchAllStatement
x)
(Code)
(Java Doc)
public
void performActionOnCharLiteral(
CharLiteral
x)
(Code)
(Java Doc)
public
void performActionOnClassDeclaration(
ClassDeclaration
x)
(Code)
(Java Doc)
public
void performActionOnClassInitializer(
ClassInitializer
x)
(Code)
(Java Doc)
public
void performActionOnComment(
Comment
x)
(Code)
(Java Doc)
public
void performActionOnCompilationUnit(
CompilationUnit
x)
(Code)
(Java Doc)
public
void performActionOnConditional(
Conditional
x)
(Code)
(Java Doc)
public
void performActionOnConstructorDeclaration(
ConstructorDeclaration
x)
(Code)
(Java Doc)
public
void performActionOnContextStatementBlock(
ContextStatementBlock
x)
(Code)
(Java Doc)
public
void performActionOnContinue(
Continue
x)
(Code)
(Java Doc)
public
void performActionOnCopyAssignment(
CopyAssignment
x)
(Code)
(Java Doc)
public
void performActionOnDefault(
Default
x)
(Code)
(Java Doc)
public
void performActionOnDivide(
Divide
x)
(Code)
(Java Doc)
public
void performActionOnDivideAssignment(
DivideAssignment
x)
(Code)
(Java Doc)
public
void performActionOnDo(
Do
x)
(Code)
(Java Doc)
public
void performActionOnDoubleLiteral(
DoubleLiteral
x)
(Code)
(Java Doc)
public
void performActionOnElse(
Else
x)
(Code)
(Java Doc)
public
void performActionOnEmptyStatement(
EmptyStatement
x)
(Code)
(Java Doc)
public
void performActionOnEquals(
Equals
x)
(Code)
(Java Doc)
public
void performActionOnExactInstanceof(
ExactInstanceof
x)
(Code)
(Java Doc)
public
void performActionOnExecutionContext(
ExecutionContext
x)
(Code)
(Java Doc)
public
void performActionOnExtends(
Extends
x)
(Code)
(Java Doc)
public
void performActionOnFieldDeclaration(
FieldDeclaration
x)
(Code)
(Java Doc)
public
void performActionOnFieldReference(
FieldReference
x)
(Code)
(Java Doc)
public
void performActionOnFieldSpecification(
FieldSpecification
x)
(Code)
(Java Doc)
public
void performActionOnFinally(
Finally
x)
(Code)
(Java Doc)
public
void performActionOnFloatLiteral(
FloatLiteral
x)
(Code)
(Java Doc)
public
void performActionOnFor(
For
x)
(Code)
(Java Doc)
public
void performActionOnForUpdates(
ForUpdates
x)
(Code)
(Java Doc)
public
void performActionOnGreaterOrEquals(
GreaterOrEquals
x)
(Code)
(Java Doc)
public
void performActionOnGreaterThan(
GreaterThan
x)
(Code)
(Java Doc)
public
void performActionOnGuard(
Guard
x)
(Code)
(Java Doc)
public
void performActionOnIf(
If
x)
(Code)
(Java Doc)
public
void performActionOnImplements(
Implements
x)
(Code)
(Java Doc)
public
void performActionOnImplicitFieldSpecification(
ImplicitFieldSpecification
x)
(Code)
(Java Doc)
public
void performActionOnImport(
Import
x)
(Code)
(Java Doc)
public
void performActionOnInstanceof(
Instanceof
x)
(Code)
(Java Doc)
public
void performActionOnIntLiteral(
IntLiteral
x)
(Code)
(Java Doc)
public
void performActionOnInterfaceDeclaration(
InterfaceDeclaration
x)
(Code)
(Java Doc)
public
void performActionOnLabeledStatement(
LabeledStatement
x)
(Code)
(Java Doc)
public
void performActionOnLessOrEquals(
LessOrEquals
x)
(Code)
(Java Doc)
public
void performActionOnLessThan(
LessThan
x)
(Code)
(Java Doc)
public
void performActionOnLocalVariableDeclaration(
LocalVariableDeclaration
x)
(Code)
(Java Doc)
public
void performActionOnLocationVariable(
LocationVariable
x)
(Code)
(Java Doc)
public
void performActionOnLogicalAnd(
LogicalAnd
x)
(Code)
(Java Doc)
public
void performActionOnLogicalNot(
LogicalNot
x)
(Code)
(Java Doc)
public
void performActionOnLogicalOr(
LogicalOr
x)
(Code)
(Java Doc)
public
void performActionOnLongLiteral(
LongLiteral
x)
(Code)
(Java Doc)
public
void performActionOnLoopInit(
LoopInit
x)
(Code)
(Java Doc)
public
void performActionOnMetaClassReference(
MetaClassReference
x)
(Code)
(Java Doc)
public
void performActionOnMethod(
ProgramMethod
x)
(Code)
(Java Doc)
public
void performActionOnMethodBodyStatement(
MethodBodyStatement
x)
(Code)
(Java Doc)
public
void performActionOnMethodDeclaration(
MethodDeclaration
x)
(Code)
(Java Doc)
public
void performActionOnMethodFrame(
MethodFrame
x)
(Code)
(Java Doc)
public
void performActionOnMethodReference(
MethodReference
x)
(Code)
(Java Doc)
public
void performActionOnMinus(
Minus
x)
(Code)
(Java Doc)
public
void performActionOnMinusAssignment(
MinusAssignment
x)
(Code)
(Java Doc)
public
void performActionOnModifier(
Modifier
x)
(Code)
(Java Doc)
public
void performActionOnModulo(
Modulo
x)
(Code)
(Java Doc)
public
void performActionOnModuloAssignment(
ModuloAssignment
x)
(Code)
(Java Doc)
public
void performActionOnNegative(
Negative
x)
(Code)
(Java Doc)
public
void performActionOnNew(
New
x)
(Code)
(Java Doc)
public
void performActionOnNewArray(
NewArray
x)
(Code)
(Java Doc)
public
void performActionOnNotEquals(
NotEquals
x)
(Code)
(Java Doc)
public
void performActionOnNullLiteral(
NullLiteral
x)
(Code)
(Java Doc)
public
void performActionOnPackageReference(
PackageReference
x)
(Code)
(Java Doc)
public
void performActionOnPackageSpecification(
PackageSpecification
x)
(Code)
(Java Doc)
public
void performActionOnParameterDeclaration(
ParameterDeclaration
x)
(Code)
(Java Doc)
public
void performActionOnParenthesizedExpression(
ParenthesizedExpression
x)
(Code)
(Java Doc)
public
void performActionOnPassiveExpression(
PassiveExpression
x)
(Code)
(Java Doc)
public
void performActionOnPlus(
Plus
x)
(Code)
(Java Doc)
public
void performActionOnPlusAssignment(
PlusAssignment
x)
(Code)
(Java Doc)
public
void performActionOnPositive(
Positive
x)
(Code)
(Java Doc)
public
void performActionOnPostDecrement(
PostDecrement
x)
(Code)
(Java Doc)
public
void performActionOnPostIncrement(
PostIncrement
x)
(Code)
(Java Doc)
public
void performActionOnPreDecrement(
PreDecrement
x)
(Code)
(Java Doc)
public
void performActionOnPreIncrement(
PreIncrement
x)
(Code)
(Java Doc)
public
void performActionOnProgramConstant(
ProgramConstant
x)
(Code)
(Java Doc)
public
void performActionOnProgramElementName(
ProgramElementName
x)
(Code)
(Java Doc)
public
void performActionOnProgramMetaConstruct(
ProgramMetaConstruct
x)
(Code)
(Java Doc)
public
void performActionOnProgramMethod(
ProgramMethod
x)
(Code)
(Java Doc)
public
void performActionOnProgramSVProxy(
ProgramSVProxy
x)
(Code)
(Java Doc)
public
void performActionOnProgramSVSkolem(
ProgramSVSkolem
x)
(Code)
(Java Doc)
public
void performActionOnProgramVariable(
ProgramVariable
x)
(Code)
(Java Doc)
public
void performActionOnReturn(
Return
x)
(Code)
(Java Doc)
public
void performActionOnSchemaVariable(
SchemaVariable
x)
(Code)
(Java Doc)
public
void performActionOnSchematicFieldReference(
SchematicFieldReference
x)
(Code)
(Java Doc)
public
void performActionOnShiftLeft(
ShiftLeft
x)
(Code)
(Java Doc)
public
void performActionOnShiftLeftAssignment(
ShiftLeftAssignment
x)
(Code)
(Java Doc)
public
void performActionOnShiftRight(
ShiftRight
x)
(Code)
(Java Doc)
public
void performActionOnShiftRightAssignment(
ShiftRightAssignment
x)
(Code)
(Java Doc)
public
void performActionOnStatementBlock(
StatementBlock
x)
(Code)
(Java Doc)
public
void performActionOnStringLiteral(
StringLiteral
x)
(Code)
(Java Doc)
public
void performActionOnSuperArrayDeclaration(
SuperArrayDeclaration
x)
(Code)
(Java Doc)
public
void performActionOnSuperConstructorReference(
SuperConstructorReference
x)
(Code)
(Java Doc)
public
void performActionOnSuperReference(
SuperReference
x)
(Code)
(Java Doc)
public
void performActionOnSwitch(
Switch
x)
(Code)
(Java Doc)
public
void performActionOnSynchronizedBlock(
SynchronizedBlock
x)
(Code)
(Java Doc)
public
void performActionOnThen(
Then
x)
(Code)
(Java Doc)
public
void performActionOnThisConstructorReference(
ThisConstructorReference
x)
(Code)
(Java Doc)
public
void performActionOnThisReference(
ThisReference
x)
(Code)
(Java Doc)
public
void performActionOnThrow(
Throw
x)
(Code)
(Java Doc)
public
void performActionOnThrows(
Throws
x)
(Code)
(Java Doc)
public
void performActionOnTimes(
Times
x)
(Code)
(Java Doc)
public
void performActionOnTimesAssignment(
TimesAssignment
x)
(Code)
(Java Doc)
public
void performActionOnTry(
Try
x)
(Code)
(Java Doc)
public
void performActionOnTypeCast(
TypeCast
x)
(Code)
(Java Doc)
public
void performActionOnTypeReference(
TypeReference
x)
(Code)
(Java Doc)
public
void performActionOnUnsignedShiftRight(
UnsignedShiftRight
x)
(Code)
(Java Doc)
public
void performActionOnUnsignedShiftRightAssignment(
UnsignedShiftRightAssignment
x)
(Code)
(Java Doc)
public
void performActionOnVariableDeclaration(
VariableDeclaration
x)
(Code)
(Java Doc)
public
void performActionOnVariableReference(
VariableReference
x)
(Code)
(Java Doc)
public
void performActionOnVariableSpecification(
VariableSpecification
x)
(Code)
(Java Doc)
public
void performActionOnWhile(
While
x)
(Code)
(Java Doc)
Methods inherited from
de.uka.ilkd.key.java.visitor.JavaASTWalker
public
int depth()
(Code)
(Java Doc)
abstract
protected
void doAction(
ProgramElement
node)
(Code)
(Java Doc)
protected
void performActionOnAnnotationArray(
Annotation
[] a)
(Code)
(Java Doc)
public
ProgramElement
root()
(Code)
(Java Doc)
public
void start()
(Code)
(Java Doc)
protected
void walk(
ProgramElement
node)
(Code)
(Java Doc)
Methods inherited from
java.lang.Object
protected
Object
clone() throws
CloneNotSupportedException
(Code)
(Java Doc)
public
boolean equals(
Object
o)
(Code)
(Java Doc)
protected
void finalize() throws
Throwable
(Code)
(Java Doc)
final native
public
Class
getClass()
(Code)
(Java Doc)
public
int hashCode()
(Code)
(Java Doc)
final
public
void notify() throws
IllegalMonitorStateException
(Code)
(Java Doc)
final
public
void notifyAll() throws
IllegalMonitorStateException
(Code)
(Java Doc)
public
String
toString()
(Code)
(Java Doc)
final
public
void wait() throws
IllegalMonitorStateException
,
InterruptedException
(Code)
(Java Doc)
final
public
void wait(long ms) throws
IllegalMonitorStateException
,
InterruptedException
(Code)
(Java Doc)
final
public
void wait(long ms, int ns) throws
IllegalMonitorStateException
,
InterruptedException
(Code)
(Java Doc)
www.java2java.com
|
Contact Us
Copyright 2009 - 12 Demo Source and Support. All rights reserved.
All other trademarks are property of their respective owners.