ua.gradsoft.javachecker.models
Class TermUtils

java.lang.Object
  ua.gradsoft.javachecker.models.TermUtils

public class TermUtils
extends java.lang.Object

Various utilities for work with terms.

Author:

Ruslan Shevchenko

Constructor Summary

TermUtils()

Method Summary

static Term	appendTermToList(Term list, Term object)
static Term	buildFormalParametersModelTerm(java.util.List<JavaFormalParameterModel> fpms, Term origin) FormalParameters([FormalParameterModel(..)..])
static Term	buildThrowsNameListModelTerm(java.util.List<JavaTypeModel> throwsNameList, Term origin)
static Term	buildTypeParametersModelTerm(java.util.List<JavaTypeVariableAbstractModel> tvams, Term tpt) TypeParameters(cons(TypeVariableModel,cons(TypeRef2,...,NIL)...)) [may be todo: insert origin name in typeref]
static Term	createAtom(java.lang.String name)
static Term	createBoolean(boolean b)
static Term	createChar(char ch)
static Term	createDouble(double x)
static Term	createFloat(float x)
static Term	createIdentifier(java.lang.String name)
static Term	createInt(int x)
static Term	createJTerm(java.lang.Object o)
static Term	createList(Term[] array)
static Term	createLong(long x)
static Term	createNil()
static Term	createString(java.lang.String value)
static Term	createTerm(java.lang.String name)
static Term	createTerm(java.lang.String name, Term... subterms)
static Term	createTerm(java.lang.String name, Term t1)
static Term	createTerm(java.lang.String name, Term t1, int i2)
static Term	createTerm(java.lang.String name, Term t1, Term t2)
static Term	createTerm(java.lang.String name, Term t1, Term t2, Term t3)
static TermFactory	getTermFactory()
static Term	reverseListTerm(Term t)

Methods inherited from class java.lang.Object

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

Constructor Detail

TermUtils

public TermUtils()

Method Detail

getTermFactory

public static final TermFactory getTermFactory()

createNil

public static final Term createNil()

createInt

public static final Term createInt(int x)

createLong

public static final Term createLong(long x)

createDouble

public static final Term createDouble(double x)

createAtom

public static final Term createAtom(java.lang.String name)

createString

public static final Term createString(java.lang.String value)

createTerm

public static final Term createTerm(java.lang.String name)
                             throws TermWareException

Throws:

TermWareException

createTerm

public static final Term createTerm(java.lang.String name,
                                    Term t1)
                             throws TermWareException

Throws:

TermWareException

createIdentifier

public static final Term createIdentifier(java.lang.String name)
                                   throws TermWareException

Throws:

TermWareException

createTerm

public static final Term createTerm(java.lang.String name,
                                    Term t1,
                                    Term t2)
                             throws TermWareException

Throws:

TermWareException

createTerm

public static final Term createTerm(java.lang.String name,
                                    Term t1,
                                    Term t2,
                                    Term t3)
                             throws TermWareException

Throws:

TermWareException

createTerm

public static final Term createTerm(java.lang.String name,
                                    Term... subterms)
                             throws TermWareException

Throws:

TermWareException

createTerm

public static final Term createTerm(java.lang.String name,
                                    Term t1,
                                    int i2)
                             throws TermWareException

Throws:

TermWareException

createJTerm

public static final Term createJTerm(java.lang.Object o)
                              throws TermWareException

Throws:

TermWareException

createBoolean

public static final Term createBoolean(boolean b)

createChar

public static final Term createChar(char ch)

createFloat

public static final Term createFloat(float x)

appendTermToList

public static final Term appendTermToList(Term list,
                                          Term object)
                                   throws TermWareException

Throws:

TermWareException

createList

public static final Term createList(Term[] array)

buildTypeParametersModelTerm

public static Term buildTypeParametersModelTerm(java.util.List<JavaTypeVariableAbstractModel> tvams,
                                                Term tpt)
                                         throws TermWareException,
                                                EntityNotFoundException

TypeParameters(cons(TypeVariableModel,cons(TypeRef2,...,NIL)...)) [may be todo: insert origin name in typeref]

Throws:

TermWareException

EntityNotFoundException

buildFormalParametersModelTerm

public static Term buildFormalParametersModelTerm(java.util.List<JavaFormalParameterModel> fpms,
                                                  Term origin)
                                           throws TermWareException,
                                                  EntityNotFoundException

FormalParameters([FormalParameterModel(..)..])

Throws:

TermWareException

EntityNotFoundException

buildThrowsNameListModelTerm

public static Term buildThrowsNameListModelTerm(java.util.List<JavaTypeModel> throwsNameList,
                                                Term origin)
                                         throws TermWareException

Throws:

TermWareException

reverseListTerm

public static Term reverseListTerm(Term t)
                            throws TermWareException

Throws:

TermWareException