de.uka.ilkd.key.java

Class Comment

java.lang.Object

de.uka.ilkd.key.java.JavaSourceElement

de.uka.ilkd.key.java.Comment

All Implemented Interfaces:

SourceElement, SVSubstitute

Direct Known Subclasses:

SingleLineComment

public class Comment
extends JavaSourceElement

Field Summary

Fields

Modifier and Type	Field and Description
private java.lang.String	text

Constructor Summary

Constructors

Constructor and Description
Comment()
Comment(java.lang.String text)
Comment(java.lang.String text, PositionInfo pInfo)

Method Summary

Modifier and Type	Method and Description
boolean	equals(java.lang.Object o)
boolean	equalsModRenaming(SourceElement se, NameAbstractionTable nat) comments can be ignored
java.lang.String	getText()
int	hashCode()
boolean	isPrefixed()
void	prettyPrint(PrettyPrinter w) Pretty printing the source element.
java.lang.String	toString() toString
void	visit(Visitor v) calls the corresponding method of a visitor in order to perform some action/transformation on this element

Methods inherited from class de.uka.ilkd.key.java.JavaSourceElement

getEndPosition, getFirstElement, getFirstElementIncludingBlocks, getLastElement, getParentClass, getPositionInfo, getRelativePosition, getStartPosition, setParentClass, toSource, toString

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

text

private final java.lang.String text

Constructor Detail

Comment

public Comment()

Comment

public Comment(java.lang.String text)

Comment

public Comment(java.lang.String text,
               PositionInfo pInfo)

Method Detail

isPrefixed

public boolean isPrefixed()

prettyPrint

public void prettyPrint(PrettyPrinter w)

Description copied from class: JavaSourceElement

Pretty printing the source element.

Specified by:

prettyPrint in interface SourceElement

Specified by:

prettyPrint in class JavaSourceElement

Parameters:

w - a pretty printer.

visit

public void visit(Visitor v)

calls the corresponding method of a visitor in order to perform some action/transformation on this element

Parameters:

v - the Visitor

getText

public java.lang.String getText()

toString

public java.lang.String toString()

Description copied from class: JavaSourceElement

toString

Overrides:

toString in class JavaSourceElement

equalsModRenaming

public boolean equalsModRenaming(SourceElement se,
                                 NameAbstractionTable nat)

comments can be ignored

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class java.lang.Object