public final class FunDef
extends java.lang.Object
implements java.io.Serializable
Constructor and Description |
---|
FunDef(int from,
java.lang.String name,
Alternative[] alternatives)
Create a FunDef object.
|
FunDef(int from,
java.lang.String name,
Alternative[] alternatives,
Location loc)
Create a FunDef object.
|
Modifier and Type | Method and Description |
---|---|
Alternative[] |
getAlternatives()
Get all the alternative definitions of this function.
|
int |
getIndex()
Get the starting index in the original source.
|
Location |
getLocation()
Get the location that is readable to human being.
|
java.lang.String |
getName()
Get the function name.
|
java.lang.String |
toString() |
public FunDef(int from, java.lang.String name, Alternative[] alternatives)
from
- the index in the original source.name
- the name of this function.alternatives
- the alternative definitions.public FunDef(int from, java.lang.String name, Alternative[] alternatives, Location loc)
from
- the index in the original source.name
- the name of this function.alternatives
- the alternative definitions.loc
- the location in the original source.public Alternative[] getAlternatives()
public java.lang.String getName()
public int getIndex()
public Location getLocation()
public java.lang.String toString()
toString
in class java.lang.Object