de.uka.ilkd.key.java.declaration

Class Modifier

java.lang.Object

de.uka.ilkd.key.java.JavaSourceElement

de.uka.ilkd.key.java.JavaProgramElement

de.uka.ilkd.key.java.declaration.Modifier

All Implemented Interfaces:

ModelElement, ProgramElement, SourceElement, TerminalProgramElement, SVSubstitute

Direct Known Subclasses:

Abstract, AnnotationUseSpecification, Final, Ghost, Model, Native, NoState, Static, StrictFp, Synchronized, Transient, TwoState, VisibilityModifier, Volatile

public abstract class Modifier
extends JavaProgramElement
implements TerminalProgramElement

Modifier. taken from COMPOST and changed to achieve an immutable structure

Constructor Summary

Constructors

Constructor and Description
Modifier() Modifier.
Modifier(ExtList children) Modifier.

Method Summary

Modifier and Type	Method and Description
protected abstract java.lang.String	getSymbol() Get symbol.
java.lang.String	getText() Get symbol text.
void	prettyPrint(PrettyPrinter p) Pretty printing the source element.
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.JavaProgramElement

computeHashCode, equals, equalsModRenaming, getComments, hashCode, match, prettyPrintMain, reuseSignature

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

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

Methods inherited from class java.lang.Object

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

Methods inherited from interface de.uka.ilkd.key.java.ProgramElement

getComments, match

Methods inherited from interface de.uka.ilkd.key.java.SourceElement

equalsModRenaming, getEndPosition, getFirstElement, getFirstElementIncludingBlocks, getLastElement, getPositionInfo, getRelativePosition, getStartPosition

Constructor Detail

Modifier

public Modifier()

Modifier.

Modifier

public Modifier(ExtList children)

Modifier.

Parameters:

children - May contain: some Comments

Method Detail

getSymbol

protected abstract java.lang.String getSymbol()

Get symbol.

Returns:

the string.

getText

public java.lang.String getText()

Get symbol text.

Returns:

the symbol text.

visit

public void visit(Visitor v)

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

Specified by:

visit in interface SourceElement

Parameters:

v - the Visitor

prettyPrint

public void prettyPrint(PrettyPrinter p)
                 throws java.io.IOException

Description copied from class: JavaSourceElement

Pretty printing the source element.

Specified by:

prettyPrint in interface SourceElement

Overrides:

prettyPrint in class JavaProgramElement

Parameters:

p - a pretty printer.

Throws:

java.io.IOException - occasionally thrown.