|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--org.xmloperator.lambda.tree.util.CommonTerms
Common Terms. They are introduced in comments by their prefixed serialization form.
Constructor Summary | |
CommonTerms()
|
Method Summary | |
static boolean |
isDelta(Abstraction abstraction)
Return true if the given Abstraction is a D Expression. |
static boolean |
isIdentity(Abstraction abstraction)
Returns true if the given Abstraction is an Identity. |
static boolean |
isLoop(Application application)
Return true if the given Application maps to "cvv". |
static boolean |
isOmega(Application application)
Return true if the given Application is an Omega Term. |
static void |
main(java.lang.String[] args)
|
static Abstraction |
newBoolean(TermFactory termFactory,
boolean value)
Creates and returns an Abstraction that, depending on value, maps to value ? |
static Abstraction |
newCouple(TermFactory termFactory)
Creates and returns an Abstraction that maps to "aaaccveevev". |
static Abstraction |
newDelta(TermFactory termFactory)
Creates and returns an Abstraction that maps to "D" = "acvv". |
static Abstraction |
newFalse(TermFactory termFactory)
Creates and returns an Abstraction that maps to F = "aav". |
static Abstraction |
newFirstInCouple(TermFactory termFactory,
boolean value)
Creates and returns an Abstraction that, depending on value, maps to value ? |
static Abstraction |
newIdentity(TermFactory termFactory)
Creates and returns an Abstraction that maps to "av". |
static Application |
newLoop(TermFactory termFactory)
Creates and returns an Application that maps to "cvv". |
static Abstraction |
newNullAbstraction(Term body)
Creates and returns an Abstraction that is immediatly followed by an EndOfScope on itself. |
static Application |
newOmega(TermFactory termFactory)
Creates and returns an Application that maps to "cDD". |
static Application |
newTeta(TermFactory termFactory)
Creates and returns an Application that maps to "cVV". |
static Abstraction |
newTrue(TermFactory termFactory)
Creates and returns an Abstraction that maps to K = "aaev". |
static Abstraction |
newV(TermFactory termFactory)
Creates and returns an Abstraction that maps to "V" = "aacvcecvvv". |
static Abstraction |
newY(TermFactory termFactory)
Creates and returns an Abstraction that maps to "acacevcvvacevcvv". |
static Abstraction |
newYPart(TermFactory termFactory)
Creates and returns an Abstraction that maps to "acevcvv". |
static boolean |
test(java.io.PrintStream out,
boolean isVerbose)
Computes the size of some Expressions. |
static boolean |
test(java.io.PrintStream out,
boolean isVerbose,
Term term,
java.lang.String name,
int size)
|
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
public CommonTerms()
Method Detail |
public static final Abstraction newIdentity(TermFactory termFactory)
termFactory
- a TermFactory for building the Term.
NullPOinterException
- if the given TermFactory is null.public static final boolean isIdentity(Abstraction abstraction)
abstraction
- an Abstraction.
public static final Abstraction newNullAbstraction(Term body)
body
- the body of the EndOfScope.
java.lang.NullPointerException
- if the given body is null.public static final Abstraction newTrue(TermFactory termFactory)
termFactory
- a TermFactory for building the Term.
NullPOinterException
- if the given TermFactory is null.public static final Abstraction newFalse(TermFactory termFactory)
termFactory
- a TermFactory for building the Term.
NullPOinterException
- if the given TermFactory is null.public static final Abstraction newBoolean(TermFactory termFactory, boolean value)
termFactory
- a TermFactory for building the Term.value
- a boolean value.
NullPOinterException
- if the given TermFactory is null.public static final Abstraction newCouple(TermFactory termFactory)
termFactory
- a TermFactory for building the Term.
NullPOinterException
- if the given TermFactory is null.public static final Abstraction newFirstInCouple(TermFactory termFactory, boolean value)
termFactory
- a TermFactory for building the Term.
NullPOinterException
- if the given TermFactory is null.public static final Application newLoop(TermFactory termFactory)
termFactory
- a TermFactory for building the Term.
NullPOinterException
- if the given TermFactory is null.public static final boolean isLoop(Application application)
application
- an Application.
public static final Abstraction newDelta(TermFactory termFactory)
termFactory
- a TermFactory for building the Term.
NullPOinterException
- if the given TermFactory is null.public static final boolean isDelta(Abstraction abstraction)
abstraction
- an Abstraction.
public static final Application newOmega(TermFactory termFactory)
termFactory
- a TermFactory for building the Term.
NullPOinterException
- if the given TermFactory is null.public static final boolean isOmega(Application application)
application
- an Application.
public static final Abstraction newYPart(TermFactory termFactory)
termFactory
- a TermFactory for building the Term.
NullPOinterException
- if the given termFactory is null.public static final Abstraction newY(TermFactory termFactory)
termFactory
- a TermFactory for building the Term.
NullPOinterException
- if the given TermFactory is null.public static final Abstraction newV(TermFactory termFactory)
termFactory
- a TermFactory for building the Term.
NullPOinterException
- if the given TermFactory is null.public static final Application newTeta(TermFactory termFactory)
termFactory
- a TermFactory for building the Term.
NullPOinterException
- if the given TermFactory is null.public static void main(java.lang.String[] args)
public static boolean test(java.io.PrintStream out, boolean isVerbose)
out
- the PrintStream to print results. May be null.isVerbose
- if true then all tests have to be displayed.
public static boolean test(java.io.PrintStream out, boolean isVerbose, Term term, java.lang.String name, int size)
|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |