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 String	text

Constructor Summary

Constructors

Constructor and Description
Comment()
Comment(String text)
Comment(String text, PositionInfo pInfo)

Method Summary

Modifier and Type	Method and Description
boolean	equals(Object o)
boolean	equalsModRenaming(SourceElement se, NameAbstractionTable nat) comments can be ignored
String	getText()
int	hashCode()
boolean	isPrefixed()
void	prettyPrint(PrettyPrinter w) Pretty printing the source element.
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 String text

Constructor Detail

Comment

public Comment()

Comment

public Comment(String text)

Comment

public Comment(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 String getText()

toString

public 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 Object

equals

public boolean equals(Object o)

Overrides:

equals in class Object