org.walkmod.javalang.ast

Class Comment

java.lang.Object

org.walkmod.javalang.ast.Node

org.walkmod.javalang.ast.Comment

All Implemented Interfaces:

Serializable, Cloneable, org.walkmod.modelchecker.ConstrainedElement

Direct Known Subclasses:

BlockComment, JavadocComment, LineComment

public abstract class Comment
extends Node

Abstract class for all AST nodes that represent comments.

Author:

Julio Vilmar Gesser

See Also:

BlockComment, LineComment, JavadocComment, Serialized Form

Constructor Summary

Constructors

Constructor and Description
Comment()
Comment(int beginLine, int beginColumn, int endLine, int endColumn, String content)
Comment(String content)

Method Summary

Modifier and Type	Method and Description
List<Node>	getChildren()
String	getContent() Return the text of the comment.
String	getPrettySource(char indentationChar, int indentationLevel, int indentationSize)
boolean	removeChild(Node child)
boolean	replaceChildNode(Node oldChild, Node newChild)
void	setContent(String content) Sets the text of the comment.

Methods inherited from class org.walkmod.javalang.ast.Node

accept, accept, check, clone, clone, clone, contains, diableConstraints, enableConstraints, equals, getBeginColumn, getBeginLine, getCommonAncestor, getConstraints, getData, getEndColumn, getEndLine, getParentNode, getPrettySource, hashCode, isAncestorOf, isInEqualLocation, isNewNode, isPreviousThan, remove, replaceChildNodeInList, setAsParentNodeOf, setAsParentNodeOf, setBeginColumn, setBeginLine, setConstraints, setData, setEndColumn, setEndLine, toString, updateReferences

Methods inherited from class java.lang.Object

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

Constructor Detail

Comment

public Comment()

Comment

public Comment(String content)

Comment

public Comment(int beginLine,
               int beginColumn,
               int endLine,
               int endColumn,
               String content)

Method Detail

removeChild

public boolean removeChild(Node child)

Specified by:

removeChild in class Node

getContent

public final String getContent()

Return the text of the comment.

Returns:

text of the comment

setContent

public void setContent(String content)

Sets the text of the comment.

Parameters:

content - the text of the comment to set

getPrettySource

public String getPrettySource(char indentationChar,
                              int indentationLevel,
                              int indentationSize)

Overrides:

getPrettySource in class Node

replaceChildNode

public boolean replaceChildNode(Node oldChild,
                                Node newChild)

Specified by:

replaceChildNode in class Node

getChildren

public List<Node> getChildren()

Specified by:

getChildren in class Node