net.sourceforge.czt.zeves.util

Class ZEvesUtils

java.lang.Object

net.sourceforge.czt.zeves.util.ZEvesUtils

public final class ZEvesUtils
extends Object

Author:

Leo Freitas

Field Summary

Fields

Modifier and Type	Field and Description
static Factory	FACTORY

Method Summary

Modifier and Type	Method and Description
static ZEvesLabel	addDefaultZEvesLabelTo(Term term)
static InstantiationList	assertInstantiationList(Term term)
static InstantiationList	assertRenameListAsInstantiationList(RenameExpr term)
static Factory	createConsoleFactory() Useful factory for debugging purposes.
static Factory	createFactory(boolean printUnicode, boolean printNameIds, int printLocLineOffset, int printLocColOffset) Create a factory tailored for either debugging or UI purposes.
static String	getConcreteSyntaxSymbolLongDesc(ZEvesConcreteSyntaxSymbol sym)
static String	getConcreteSyntaxSymbolShortDesc(ZEvesConcreteSyntaxSymbol sym)
static LabelAbility	getDefaultAbility()
static LabelUsage	getDefaultUsage()
static InstantiationList	getInstantiationListFromExpr(Expr term)
static ZEvesLabel	getLabel(Term term)
static String	getLocalHost()

Methods inherited from class java.lang.Object

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

Field Detail

FACTORY

public static final Factory FACTORY

Method Detail

createConsoleFactory

public static Factory createConsoleFactory()

Useful factory for debugging purposes. It prints ASCII names and LocAnn offset by one in line/col count and no name IDs.

Returns:

createFactory

public static Factory createFactory(boolean printUnicode,
                                    boolean printNameIds,
                                    int printLocLineOffset,
                                    int printLocColOffset)

Create a factory tailored for either debugging or UI purposes. Various parameters affect the base factory underlying print visitor's parameters.

Parameters:

printUnicode -

printNameIds -

printLocLineOffset -

printLocColOffset -

Returns:

assertInstantiationList

public static InstantiationList assertInstantiationList(Term term)

assertRenameListAsInstantiationList

public static InstantiationList assertRenameListAsInstantiationList(RenameExpr term)

getInstantiationListFromExpr

public static InstantiationList getInstantiationListFromExpr(Expr term)

getLocalHost

public static String getLocalHost()

getDefaultAbility

public static LabelAbility getDefaultAbility()

getDefaultUsage

public static LabelUsage getDefaultUsage()

getLabel

public static ZEvesLabel getLabel(Term term)

addDefaultZEvesLabelTo

public static ZEvesLabel addDefaultZEvesLabelTo(Term term)

getConcreteSyntaxSymbolShortDesc

public static String getConcreteSyntaxSymbolShortDesc(ZEvesConcreteSyntaxSymbol sym)

getConcreteSyntaxSymbolLongDesc

public static String getConcreteSyntaxSymbolLongDesc(ZEvesConcreteSyntaxSymbol sym)