se.chalmers.cs.gf.gfcutil
Class Function

java.lang.Object
  se.chalmers.cs.gf.gfcutil.Function

All Implemented Interfaces:

java.io.Serializable, Definition

public class Function
extends java.lang.Object
implements Definition, java.io.Serializable

Represents a GFC function.

See Also:

Serialized Form

Constructor Summary

Function(java.lang.String name, se.chalmers.cs.gf.GFC.Absyn.Exp exp)

Method Summary

boolean	equals(Function f)
boolean	equals(java.lang.Object o)
java.lang.String	getArgCat(int i) Get one of the argument types of this function.
java.util.List<java.lang.String>	getArgCats() Get the argument types of this function.
int	getArity() Get the number of arguments that this function takes.
java.lang.String	getName() Get the name of this function.
java.lang.String	getResultCat() Get the result type of this function
int	hashCode()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

Function

public Function(java.lang.String name,
                se.chalmers.cs.gf.GFC.Absyn.Exp exp)

Method Detail

getName

public java.lang.String getName()

Get the name of this function.

Specified by:

getName in interface Definition

getArgCats

public java.util.List<java.lang.String> getArgCats()

Get the argument types of this function.

getArgCat

public java.lang.String getArgCat(int i)

Get one of the argument types of this function.

getResultCat

public java.lang.String getResultCat()

Get the result type of this function

getArity

public int getArity()

Get the number of arguments that this function takes.

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class java.lang.Object

equals

public boolean equals(Function f)

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object