net.sourceforge.czt.rules.ast

Class ProverJokerNameList

java.lang.Object

net.sourceforge.czt.base.impl.TermImpl

net.sourceforge.czt.z.impl.NameListImpl

net.sourceforge.czt.zpatt.impl.JokerNameListImpl

net.sourceforge.czt.rules.ast.ProverJokerNameList

All Implemented Interfaces:

net.sourceforge.czt.base.ast.Term, Joker, net.sourceforge.czt.z.ast.NameList, net.sourceforge.czt.zpatt.ast.JokerNameList

public class ProverJokerNameList
extends net.sourceforge.czt.zpatt.impl.JokerNameListImpl
implements Joker

An implementation of the JokerNameList and Joker interface.

Author:

Petra Malik

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	ProverJokerNameList(String name, String id)

Method Summary

Modifier and Type	Method and Description
net.sourceforge.czt.zpatt.ast.Binding	bind(net.sourceforge.czt.base.ast.Term term)
net.sourceforge.czt.base.ast.Term	boundTo()
ProverJokerNameList	create(Object[] args)
net.sourceforge.czt.zpatt.ast.JokerNameListBinding	getBinding()
void	setName(String name)

Methods inherited from class net.sourceforge.czt.zpatt.impl.JokerNameListImpl

accept, countingFinaliser, equals, getChildren, getId, getName, hashCode, instanceCount, instancesFinalised, setId

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

annsSize, getAnn, getAnns, getFactory, hasAnn, hasAnn, removeAnn, removeAnn, toString

Methods inherited from class java.lang.Object

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

Methods inherited from interface net.sourceforge.czt.rules.Joker

getName

Methods inherited from interface net.sourceforge.czt.base.ast.Term

annsSize, getAnn, getAnns, hasAnn, hasAnn, removeAnn, removeAnn

Constructor Detail

ProverJokerNameList

protected ProverJokerNameList(String name,
                              String id)

Method Detail

boundTo

public net.sourceforge.czt.base.ast.Term boundTo()

Specified by:

boundTo in interface Joker

bind

public net.sourceforge.czt.zpatt.ast.Binding bind(net.sourceforge.czt.base.ast.Term term)

Specified by:

bind in interface Joker

getBinding

public net.sourceforge.czt.zpatt.ast.JokerNameListBinding getBinding()

setName

public void setName(String name)

Specified by:

setName in interface net.sourceforge.czt.zpatt.ast.JokerNameList

Overrides:

setName in class net.sourceforge.czt.zpatt.impl.JokerNameListImpl

create

public ProverJokerNameList create(Object[] args)

Specified by:

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

Overrides:

create in class net.sourceforge.czt.zpatt.impl.JokerNameListImpl