at.jku.risc.stout.nau.data

Class NodeFactory

java.lang.Object

at.jku.risc.stout.nau.data.NodeFactory

public class NodeFactory
extends Object

This factory is used to instantiate new NominalTerms, subterms and atomic term blocks.

Author:

Alexander Baumgartner

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
class	NodeFactory.FactoryInstantiationException

Field Summary

Fields

Modifier and Type	Field and Description
Class<? extends Atom>	classAtom Class to use for atom instantiation.
Class<? extends FunctionSymbol>	classFncSymb Class to use for function-symbol instantiation.
Class<? extends SortAtom>	classSortAtom Class to use for instantiating a sort of atom.
Class<? extends SortData>	classSortData Class to use for instantiating a sort of data.
Class<? extends Variable>	classVariable Class to use for variable instantiation.

Constructor Summary

Constructors

Constructor and Description
NodeFactory()
NodeFactory(String prefixFreshAtom, String prefixFreshVar)

Method Summary

Methods

Modifier and Type	Method and Description
<T> Collection<T>	getAllByType(Class<T> type)
<T> T	getExists(Class<T> type, Object... args)
<T> T	getExists(Class<T> type, String name)
String	getPrefixFreshAtom()
String	getPrefixFreshVar()
String	getSuffixFreshAtom()
String	getSuffixFreshVar()
Atom	newAtom(String name) Instantiates an untyped atom.
Atom	newAtom(String name, SortAtom sort) Instantiates an atom of the specified sort.
Atom	newAtom(String name, String sort) Instantiates an atom of the specified sort.
FunctionSymbol	newFunction(String name) Instantiates an untyped function symbol.
FunctionSymbol	newFunction(String name, Sort[] sortArgs, SortData sortRet) Instantiates a function symbol of the specified arity.
FunctionSymbol	newFunction(String name, Sort[] sortArgs, String sortRet) Instantiates a function symbol of the specified arity.
<T extends Sort> T	newSort(Class<T> sortType, String name) Returns a sort of atom by name.
Variable	newVarAtom(String name, String sort) Instantiates a variable of the specified sort.
Variable	newVarData(String name, String sort) Instantiates a variable of the specified sort.
Variable	newVariable(String name) Instantiates an untyped variable.
Variable	newVariable(String name, Sort sort) Instantiates a variable of the specified sort.
Atom	obtainFreshAtom(SortAtom sort)
Variable	obtainFreshVar(Sort sort)
String	obtainUniqueAtomName()
String	obtainUniqueVarName()
void	resetCounter()
void	setPrefixFreshAtom(String prefixFreshAtom)
void	setPrefixFreshVar(String prefixFreshVar)
void	setSuffixFreshAtom(String suffixFreshAtom)
void	setSuffixFreshVar(String suffixFreshVar)
<T> T	uniqueInstance(Class<T> type, Object... args) Returns a unique instance of the specified class for some given constructor arguments.

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

classAtom

public Class<? extends Atom> classAtom

Class to use for atom instantiation. There must be a constructor with one argument "String name"!

classFncSymb

public Class<? extends FunctionSymbol> classFncSymb

Class to use for function-symbol instantiation. There must be a constructor with one argument "String name"!

classSortAtom

public Class<? extends SortAtom> classSortAtom

Class to use for instantiating a sort of atom. There must be a constructor with one argument "String name"!

classSortData

public Class<? extends SortData> classSortData

Class to use for instantiating a sort of data. There must be a constructor with one argument "String name"!

classVariable

public Class<? extends Variable> classVariable

Class to use for variable instantiation. There must be a constructor with one argument "String name"!

Constructor Detail

NodeFactory

public NodeFactory()

NodeFactory

public NodeFactory(String prefixFreshAtom,
           String prefixFreshVar)

Method Detail

getAllByType

public <T> Collection<T> getAllByType(Class<T> type)

getExists

public <T> T getExists(Class<T> type,
              Object... args)

getExists

public <T> T getExists(Class<T> type,
              String name)

getPrefixFreshAtom

public String getPrefixFreshAtom()

getPrefixFreshVar

public String getPrefixFreshVar()

getSuffixFreshAtom

public String getSuffixFreshAtom()

getSuffixFreshVar

public String getSuffixFreshVar()

newAtom

public Atom newAtom(String name)
             throws NodeFactory.FactoryInstantiationException

Instantiates an untyped atom.

Throws:

NodeFactory.FactoryInstantiationException

newAtom

public Atom newAtom(String name,
           SortAtom sort)
             throws NodeFactory.FactoryInstantiationException,
                    MalformedSortException

Instantiates an atom of the specified sort.

Throws:

NodeFactory.FactoryInstantiationException

MalformedSortException

newAtom

public Atom newAtom(String name,
           String sort)
             throws NodeFactory.FactoryInstantiationException,
                    MalformedSortException

Instantiates an atom of the specified sort.

Throws:

NodeFactory.FactoryInstantiationException

MalformedSortException

newFunction

public FunctionSymbol newFunction(String name)
                           throws NodeFactory.FactoryInstantiationException

Instantiates an untyped function symbol.

Throws:

NodeFactory.FactoryInstantiationException

newFunction

public FunctionSymbol newFunction(String name,
                         Sort[] sortArgs,
                         SortData sortRet)
                           throws NodeFactory.FactoryInstantiationException,
                                  MalformedSortException

Instantiates a function symbol of the specified arity.

Throws:

NodeFactory.FactoryInstantiationException

MalformedSortException

newFunction

public FunctionSymbol newFunction(String name,
                         Sort[] sortArgs,
                         String sortRet)
                           throws NodeFactory.FactoryInstantiationException,
                                  MalformedSortException

Instantiates a function symbol of the specified arity.

Throws:

NodeFactory.FactoryInstantiationException

MalformedSortException

newSort

public <T extends Sort> T newSort(Class<T> sortType,
                         String name)
                       throws NodeFactory.FactoryInstantiationException

Returns a sort of atom by name.

Throws:

NodeFactory.FactoryInstantiationException

newVarAtom

public Variable newVarAtom(String name,
                  String sort)
                    throws NodeFactory.FactoryInstantiationException,
                           MalformedSortException

Instantiates a variable of the specified sort.

Throws:

NodeFactory.FactoryInstantiationException

MalformedSortException

newVarData

public Variable newVarData(String name,
                  String sort)
                    throws NodeFactory.FactoryInstantiationException,
                           MalformedSortException

Instantiates a variable of the specified sort.

Throws:

NodeFactory.FactoryInstantiationException

MalformedSortException

newVariable

public Variable newVariable(String name)
                     throws NodeFactory.FactoryInstantiationException

Instantiates an untyped variable.

Throws:

NodeFactory.FactoryInstantiationException

newVariable

public Variable newVariable(String name,
                   Sort sort)
                     throws NodeFactory.FactoryInstantiationException,
                            MalformedSortException

Instantiates a variable of the specified sort.

Throws:

NodeFactory.FactoryInstantiationException

MalformedSortException

obtainFreshAtom

public Atom obtainFreshAtom(SortAtom sort)

obtainFreshVar

public Variable obtainFreshVar(Sort sort)

obtainUniqueAtomName

public String obtainUniqueAtomName()

obtainUniqueVarName

public String obtainUniqueVarName()

resetCounter

public void resetCounter()

setPrefixFreshAtom

public void setPrefixFreshAtom(String prefixFreshAtom)

setPrefixFreshVar

public void setPrefixFreshVar(String prefixFreshVar)

setSuffixFreshAtom

public void setSuffixFreshAtom(String suffixFreshAtom)

setSuffixFreshVar

public void setSuffixFreshVar(String suffixFreshVar)

uniqueInstance

public <T> T uniqueInstance(Class<T> type,
                   Object... args)
                 throws NodeFactory.FactoryInstantiationException

Returns a unique instance of the specified class for some given constructor arguments. An accessible constructor with the specified argument types must exist for the specified type!

Returns:

Unique instance for given type and arguments.

Throws:

NodeFactory.FactoryInstantiationException - If no corresponding constructor exists.