net.sourceforge.czt.parser.util
Class DefinitionTable.Definition

java.lang.Object
  net.sourceforge.czt.base.impl.TermImpl
      net.sourceforge.czt.parser.util.DefinitionTable.Definition

All Implemented Interfaces:

net.sourceforge.czt.base.ast.Term

Enclosing class:

DefinitionTable

public static class DefinitionTable.Definition
extends net.sourceforge.czt.base.impl.TermImpl

This defines a definition, but without the name. That is, for the generic definition g[T,U] = T \fun U, this Definition records the type parameters T,U and the right hand side expression.

Constructor Summary

DefinitionTable.Definition(net.sourceforge.czt.z.ast.ZNameList generic, net.sourceforge.czt.z.ast.Expr definition)

Method Summary

<R> R	accept(net.sourceforge.czt.util.Visitor<R> v)
net.sourceforge.czt.base.ast.Term	create(java.lang.Object[] args)
java.lang.Object[]	getChildren()
net.sourceforge.czt.z.ast.ZNameList	getDeclNames()
net.sourceforge.czt.z.ast.Expr	getExpr()
java.lang.String	toString()

Methods inherited from class net.sourceforge.czt.base.impl.TermImpl

equals, getAnn, getAnns, getFactory, hashCode

Methods inherited from class java.lang.Object

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

Constructor Detail

DefinitionTable.Definition

public DefinitionTable.Definition(net.sourceforge.czt.z.ast.ZNameList generic,
                                  net.sourceforge.czt.z.ast.Expr definition)

Method Detail

getDeclNames

public net.sourceforge.czt.z.ast.ZNameList getDeclNames()

getExpr

public net.sourceforge.czt.z.ast.Expr getExpr()

toString

public java.lang.String toString()

Overrides:

toString in class net.sourceforge.czt.base.impl.TermImpl

accept

public <R> R accept(net.sourceforge.czt.util.Visitor<R> v)

Specified by:

accept in interface net.sourceforge.czt.base.ast.Term

Overrides:

accept in class net.sourceforge.czt.base.impl.TermImpl

create

public net.sourceforge.czt.base.ast.Term create(java.lang.Object[] args)

getChildren

public java.lang.Object[] getChildren()