de.uka.ilkd.key.java

Class SingleLineComment

java.lang.Object

de.uka.ilkd.key.java.JavaSourceElement

de.uka.ilkd.key.java.Comment

de.uka.ilkd.key.java.SingleLineComment

All Implemented Interfaces:

SourceElement, SVSubstitute

public class SingleLineComment
extends Comment

Any non-SingleLineComment is a multi line comment.

Constructor Summary

Constructors

Constructor and Description
SingleLineComment() Single line comment.
SingleLineComment(java.lang.String text) Single line comment.

Method Summary

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

equals, equalsModRenaming, getText, hashCode, isPrefixed, prettyPrint, toString, visit

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

Constructor Detail

SingleLineComment

public SingleLineComment()

Single line comment.

SingleLineComment

public SingleLineComment(java.lang.String text)

Single line comment.

Parameters:

text - a string.