public class Comment extends JavaSourceElement
Constructor and Description |
---|
Comment() |
Comment(String text) |
Comment(String text,
PositionInfo pInfo) |
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
|
getEndPosition, getFirstElement, getFirstElementIncludingBlocks, getLastElement, getParentClass, getPositionInfo, getRelativePosition, getStartPosition, setParentClass, toSource, toString
private final String text
public Comment()
public Comment(String text)
public Comment(String text, PositionInfo pInfo)
public boolean isPrefixed()
public void prettyPrint(PrettyPrinter w)
JavaSourceElement
prettyPrint
in interface SourceElement
prettyPrint
in class JavaSourceElement
w
- a pretty printer.public void visit(Visitor v)
v
- the Visitorpublic String getText()
public String toString()
JavaSourceElement
toString
in class JavaSourceElement
public boolean equalsModRenaming(SourceElement se, NameAbstractionTable nat)