public class Throws extends JavaNonTerminalProgramElement implements TypeReferenceContainer
Modifier and Type | Field and Description |
---|---|
protected ImmutableArray<TypeReference> |
exceptions
Exceptions.
|
Constructor and Description |
---|
Throws()
Throws.
|
Throws(ExtList children)
Constructor for the transformation of COMPOST ASTs to KeY.
|
Throws(TypeReference exception)
Throws.
|
Throws(TypeReference[] list)
Throws.
|
Modifier and Type | Method and Description |
---|---|
ProgramElement |
getChildAt(int index)
Returns the child at the specified index in this node's "virtual"
child array
|
int |
getChildCount()
Returns the number of children of this node.
|
ImmutableArray<TypeReference> |
getExceptions()
Get exceptions.
|
SourceElement |
getLastElement()
Finds the source element that occurs last in the source.
|
TypeReference |
getTypeReferenceAt(int index) |
int |
getTypeReferenceCount()
Get the number of type references in this container.
|
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
|
compatibleBlockSize, computeHashCode, equals, equalsModRenaming, getArrayPos, match, matchChildren
getComments, hashCode, prettyPrintMain, reuseSignature
getEndPosition, getFirstElement, getFirstElementIncludingBlocks, getParentClass, getPositionInfo, getRelativePosition, getStartPosition, setParentClass, toSource, toString, toString
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
getComments, match
equalsModRenaming, getEndPosition, getFirstElement, getFirstElementIncludingBlocks, getPositionInfo, getRelativePosition, getStartPosition
protected final ImmutableArray<TypeReference> exceptions
public Throws()
public Throws(TypeReference exception)
exception
- a type reference.public Throws(TypeReference[] list)
list
- a type reference array.public Throws(ExtList children)
children
- the children of this AST element as KeY classes.
May contain:
several of TypeReference (as references to thrown exceptions),
Commentspublic SourceElement getLastElement()
JavaSourceElement
getLastElement
in interface SourceElement
getLastElement
in class JavaSourceElement
JavaSourceElement.toSource()
,
JavaSourceElement.getEndPosition()
public int getChildCount()
getChildCount
in interface NonTerminalProgramElement
public ProgramElement getChildAt(int index)
getChildAt
in interface NonTerminalProgramElement
index
- an index into this node's "virtual" child arrayjava.lang.ArrayIndexOutOfBoundsException
- if index is out
of boundspublic ImmutableArray<TypeReference> getExceptions()
public int getTypeReferenceCount()
getTypeReferenceCount
in interface TypeReferenceContainer
public TypeReference getTypeReferenceAt(int index)
getTypeReferenceAt
in interface TypeReferenceContainer
public void visit(Visitor v)
visit
in interface SourceElement
v
- the Visitorpublic void prettyPrint(PrettyPrinter p) throws java.io.IOException
JavaSourceElement
prettyPrint
in interface SourceElement
prettyPrint
in class JavaProgramElement
p
- a pretty printer.java.io.IOException
- occasionally thrown.