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