tom.engine.adt.il.types
Class DerivTree

java.lang.Object
  tom.engine.adt.il.IlAbstractType
      tom.engine.adt.il.types.DerivTree

All Implemented Interfaces:

Comparable, shared.SharedObject, shared.SharedObjectWithID, Visitable

Direct Known Subclasses:

derivrule, derivrule2, endderiv

public abstract class DerivTree
extends IlAbstractType

Field Summary

protected static IdConverter

idConv

Fields inherited from class tom.engine.adt.il.IlAbstractType

atermFactory, factory

Constructor Summary

protected

DerivTree() Sole constructor.

Method Summary

static DerivTree	fromStream(InputStream stream) Returns a tom.engine.adt.il.types.DerivTree from a Stream without any conversion
static DerivTree	fromStream(InputStream stream, ATermConverter atConv) Apply a conversion on the ATerm contained in the Stream and returns a tom.engine.adt.il.types.DerivTree from it
static DerivTree	fromString(String s) Returns a tom.engine.adt.il.types.DerivTree from a String without any conversion
static DerivTree	fromString(String s, ATermConverter atConv) Apply a conversion on the ATerm contained in the String and returns a tom.engine.adt.il.types.DerivTree from it
static DerivTree	fromTerm(aterm.ATerm trm) Returns a tom.engine.adt.il.types.DerivTree from an ATerm without any conversion
static DerivTree	fromTerm(aterm.ATerm trm, ATermConverter atConv) Apply a conversion on the ATerm and returns a tom.engine.adt.il.types.DerivTree
Seq	getCond() Returns the subterm corresponding to the slot Cond
String	getName() Returns the subterm corresponding to the slot Name
Deriv	getPost() Returns the subterm corresponding to the slot Post
DerivTree	getPre() Returns the subterm corresponding to the slot Pre
DerivTree	getPre2() Returns the subterm corresponding to the slot Pre2
boolean	isderivrule() Returns true if the term is rooted by the symbol derivrule
boolean	isderivrule2() Returns true if the term is rooted by the symbol derivrule2
boolean	isendderiv() Returns true if the term is rooted by the symbol endderiv
int	length() Returns the length of the list
DerivTree	reverse() Returns an inverted term
DerivTree	setCond(Seq _arg) Returns a new term where the subterm corresponding to the slot Cond is replaced by the term given in argument.
DerivTree	setName(String _arg) Returns a new term where the subterm corresponding to the slot Name is replaced by the term given in argument.
DerivTree	setPost(Deriv _arg) Returns a new term where the subterm corresponding to the slot Post is replaced by the term given in argument.
DerivTree	setPre(DerivTree _arg) Returns a new term where the subterm corresponding to the slot Pre is replaced by the term given in argument.
DerivTree	setPre2(DerivTree _arg) Returns a new term where the subterm corresponding to the slot Pre2 is replaced by the term given in argument.
aterm.ATerm	toATerm() Returns an ATerm representation of this term.

Methods inherited from class tom.engine.adt.il.IlAbstractType

compareTo, compareToLPO, convertATermToBoolean, convertATermToChar, convertATermToDouble, convertATermToFloat, convertATermToInt, convertATermToLong, convertATermToString, getUniqueIdentifier, setUniqueIdentifier, symbolName, toString, toStringBuilder

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface shared.SharedObject

duplicate, equivalent, hashCode

Methods inherited from interface tom.library.sl.Visitable

getChildAt, getChildCount, getChildren, setChildAt, setChildren

Field Detail

idConv

protected static IdConverter idConv

Constructor Detail

DerivTree

protected DerivTree()

Sole constructor. (For invocation by subclass constructors, typically implicit.)

Method Detail

isendderiv

public boolean isendderiv()

Returns true if the term is rooted by the symbol endderiv

Returns:

true if the term is rooted by the symbol endderiv

isderivrule

public boolean isderivrule()

Returns true if the term is rooted by the symbol derivrule

Returns:

true if the term is rooted by the symbol derivrule

isderivrule2

public boolean isderivrule2()

Returns true if the term is rooted by the symbol derivrule2

Returns:

true if the term is rooted by the symbol derivrule2

getName

public String getName()

Returns the subterm corresponding to the slot Name

Returns:

the subterm corresponding to the slot Name

setName

public DerivTree setName(String _arg)

Returns a new term where the subterm corresponding to the slot Name is replaced by the term given in argument. Note that there is no side-effect: a new term is returned and the original term is left unchanged

Parameters:

_arg - the value of the new subterm

Returns:

a new term where the subterm corresponding to the slot Name is replaced by _arg

getPre2

public DerivTree getPre2()

Returns the subterm corresponding to the slot Pre2

Returns:

the subterm corresponding to the slot Pre2

setPre2

public DerivTree setPre2(DerivTree _arg)

Returns a new term where the subterm corresponding to the slot Pre2 is replaced by the term given in argument. Note that there is no side-effect: a new term is returned and the original term is left unchanged

Parameters:

_arg - the value of the new subterm

Returns:

a new term where the subterm corresponding to the slot Pre2 is replaced by _arg

getPre

public DerivTree getPre()

Returns the subterm corresponding to the slot Pre

Returns:

the subterm corresponding to the slot Pre

setPre

public DerivTree setPre(DerivTree _arg)

Returns a new term where the subterm corresponding to the slot Pre is replaced by the term given in argument. Note that there is no side-effect: a new term is returned and the original term is left unchanged

Parameters:

_arg - the value of the new subterm

Returns:

a new term where the subterm corresponding to the slot Pre is replaced by _arg

getCond

public Seq getCond()

Returns the subterm corresponding to the slot Cond

Returns:

the subterm corresponding to the slot Cond

setCond

public DerivTree setCond(Seq _arg)

Returns a new term where the subterm corresponding to the slot Cond is replaced by the term given in argument. Note that there is no side-effect: a new term is returned and the original term is left unchanged

Parameters:

_arg - the value of the new subterm

Returns:

a new term where the subterm corresponding to the slot Cond is replaced by _arg

getPost

public Deriv getPost()

Returns the subterm corresponding to the slot Post

Returns:

the subterm corresponding to the slot Post

setPost

public DerivTree setPost(Deriv _arg)

Returns a new term where the subterm corresponding to the slot Post is replaced by the term given in argument. Note that there is no side-effect: a new term is returned and the original term is left unchanged

Parameters:

_arg - the value of the new subterm

Returns:

a new term where the subterm corresponding to the slot Post is replaced by _arg

toATerm

public aterm.ATerm toATerm()

Returns an ATerm representation of this term.

Specified by:

toATerm in class IlAbstractType

Returns:

null to indicate to sub-classes that they have to work

fromTerm

public static DerivTree fromTerm(aterm.ATerm trm)

Returns a tom.engine.adt.il.types.DerivTree from an ATerm without any conversion

Parameters:

trm - ATerm to handle to retrieve a Gom term

Returns:

the term from the ATerm

fromString

public static DerivTree fromString(String s)

Returns a tom.engine.adt.il.types.DerivTree from a String without any conversion

Parameters:

s - String containing the ATerm

Returns:

the term from the String

fromStream

public static DerivTree fromStream(InputStream stream)
                            throws IOException

Returns a tom.engine.adt.il.types.DerivTree from a Stream without any conversion

Parameters:

stream - stream containing the ATerm

Returns:

the term from the Stream

Throws:

IOException - if a problem occurs with the stream

fromTerm

public static DerivTree fromTerm(aterm.ATerm trm,
                                 ATermConverter atConv)

Apply a conversion on the ATerm and returns a tom.engine.adt.il.types.DerivTree

Parameters:

trm - ATerm to convert into a Gom term

atConv - ATermConverter used to convert the ATerm

Returns:

the Gom term

Throws:

IllegalArgumentException

fromString

public static DerivTree fromString(String s,
                                   ATermConverter atConv)

Apply a conversion on the ATerm contained in the String and returns a tom.engine.adt.il.types.DerivTree from it

Parameters:

s - String containing the ATerm

atConv - ATerm Converter used to convert the ATerm

Returns:

the Gom term

fromStream

public static DerivTree fromStream(InputStream stream,
                                   ATermConverter atConv)
                            throws IOException

Apply a conversion on the ATerm contained in the Stream and returns a tom.engine.adt.il.types.DerivTree from it

Parameters:

stream - stream containing the ATerm

atConv - ATerm Converter used to convert the ATerm

Returns:

the Gom term

Throws:

IOException

length

public int length()

Returns the length of the list

Returns:

the length of the list

Throws:

IllegalArgumentException - if the term is not a list

reverse

public DerivTree reverse()

Returns an inverted term

Returns:

the inverted list

Throws:

IllegalArgumentException - if the term is not a list