Package | Description |
---|---|
de.uka.ilkd.key.java |
This package contains classes that cover the Java programming language.
|
de.uka.ilkd.key.java.declaration |
Elements of the Java syntax tree representing declarations.
|
de.uka.ilkd.key.java.statement |
Elements of the Java syntax tree representing pure statements.
|
de.uka.ilkd.key.java.visitor |
contains classes representing visitors traversing the tree
structure of Java programs.
|
de.uka.ilkd.key.logic |
provides a representation for the term and sequent
structure.
|
de.uka.ilkd.key.logic.op |
contains the operators of
Term s. |
Modifier and Type | Class and Description |
---|---|
class |
SingleLineComment
Any non-SingleLineComment is a multi line comment.
|
Modifier and Type | Method and Description |
---|---|
Comment |
Recoder2KeYConverter.convert(Comment rc)
converts the recoder.java.Comment to the KeYDependance
|
Comment[] |
JavaProgramElement.getComments()
Get comments.
|
Comment[] |
Label.getComments() |
Comment[] |
ProgramElement.getComments()
Get comments.
|
Modifier and Type | Method and Description |
---|---|
void |
PrettyPrinter.printComment(Comment x) |
Modifier and Type | Field and Description |
---|---|
protected Comment[] |
MethodDeclaration.voidComments |
Modifier and Type | Method and Description |
---|---|
Comment[] |
MethodDeclaration.getVoidComments() |
Constructor and Description |
---|
MethodDeclaration(ExtList children,
boolean parentIsInterfaceDeclaration,
Comment[] voidComments)
Method declaration.
|
Modifier and Type | Field and Description |
---|---|
protected Comment[] |
MergePointStatement.comments |
Modifier and Type | Method and Description |
---|---|
Comment[] |
MergePointStatement.getComments() |
Constructor and Description |
---|
MergePointStatement(LocationVariable identifier,
Comment[] comments) |
Modifier and Type | Method and Description |
---|---|
void |
Visitor.performActionOnComment(Comment x) |
void |
JavaASTVisitor.performActionOnComment(Comment x) |
Modifier and Type | Method and Description |
---|---|
Comment[] |
ProgramElementName.getComments() |
Modifier and Type | Method and Description |
---|---|
static ProgramElementName |
VariableNamer.parseName(java.lang.String name,
Comment[] comments) |
static ProgramElementName |
VariableNamer.parseName(java.lang.String name,
NameCreationInfo creationInfo,
Comment[] comments)
parses the passed string and creates a suitable program element name
(this does *not* make the name unique - if that is necessary, use either
getTemporaryNameProposal() or getProposal())
|
Constructor and Description |
---|
ProgramElementName(java.lang.String name,
Comment[] c)
create a new name
|
ProgramElementName(java.lang.String name,
NameCreationInfo creationInfo,
Comment[] c) |
Modifier and Type | Method and Description |
---|---|
Comment[] |
ProgramVariable.getComments() |
Comment[] |
ProgramMethod.getComments() |
Comment[] |
ProgramSV.getComments() |
Copyright © 2003-2019 The KeY-Project.