cetus.hir

Class Tools

java.lang.Object

cetus.hir.Tools

public final class Tools
extends java.lang.Object

Collection of static tools that are useful in writing passes. The original set of tools since v1.1 has been separated into four different classes - SymbolTools, PrintTools, IRTools, and Tools:

SymbolTools: symbol access and management.
PrintTools : printing utilities.
IRTools : Cetus IR tools for search and manipulation.
Tools : general tools not specific to Cetus.

Accessing the old utility methods through Tools class is still possible but it is deprecated As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.

Method Summary

Methods

Modifier and Type	Method and Description
static <T> boolean	addAll(java.util.Collection<T> c1, java.util.Collection c2) Wrapper for Collection.addAll() that suppress "unchecked" warnings.
static void	addSymbols(SymbolTable table, Declaration decl) Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.
static boolean	checkConsistency(Traversable t) Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.
static java.lang.String	collectionToString(java.util.Collection coll, java.lang.String separator) Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.
static <T extends PragmaAnnotation> java.util.List<T>	collectPragmas(Traversable t, java.lang.Class<T> pragma_cls, java.lang.String key) Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.
static <T> boolean	containsAll(java.util.Collection<T> c1, java.util.Collection c2) Wrapper for Collection.containsAll() that suppress "unchecked" warnings.
static boolean	containsBinary(Traversable t, BinaryOperator op) Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.
static boolean	containsClass(java.util.Collection c, java.lang.Class type)
static boolean	containsClass(Traversable t, java.lang.Class<? extends Traversable> type) Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.
static boolean	containsClasses(java.util.Collection c, java.lang.Class... types)
static boolean	containsClasses(Traversable t, java.util.Set<java.lang.Class<? extends Traversable>> types) Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.
static boolean	containsExpression(Traversable t, Expression e) Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.
static boolean	containsExpressions(Traversable t, java.util.Collection<? extends Expression> es) Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.
static boolean	containsFunctionCall(Traversable t) Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.
static boolean	containsSideEffect(Traversable t) Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.
static boolean	containsSymbol(Traversable t, Symbol var) Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.
static boolean	containsSymbols(java.util.Set<Symbol> vars, java.util.Set<Symbol> symbols) Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.
static boolean	containsSymbols(Traversable t, java.util.Set<Symbol> vars) Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.
static boolean	containsUnary(Traversable t, UnaryOperator op) Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.
static java.util.Map<Symbol,java.util.Set<java.lang.Integer>>	convertExprMap2SymbolMap(java.util.Map<Expression,java.util.Set<java.lang.Integer>> imap) Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.
static int	countExpressions(Traversable t, Expression e) Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.
static void	displayMap(java.util.Map<Expression,java.util.Set<java.lang.Integer>> imap, java.lang.String name) Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.
static void	exit(int status) Invokes exit operation.
static void	exit(java.lang.String msg) Invokes a exit handler after printing the specified message.
static void	exitThrowsException(boolean flag) Selects how Tools.exit() behaves.
static Expression	findExpression(Traversable t, Expression e) Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.
static Declaration	findSymbol(SymbolTable table, IDExpression name) Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.
static Declaration	findSymbol(SymbolTable table, java.lang.String name) Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.
static java.util.Set<Symbol>	getAccessedSymbols(Traversable t) Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.
static <T extends Traversable> T	getAncestorOfType(Traversable t, java.lang.Class<T> type) Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.
static Identifier	getArrayTemp(Traversable where, java.util.List specs, ArraySpecifier aspec, java.lang.String name) Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.
static Identifier	getArrayTemp(Traversable where, java.util.List specs, java.util.List aspecs, java.lang.String name) Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.
static java.util.List<Expression>	getDefList(Traversable t) Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.
static java.util.Map<Expression,java.util.Set<java.lang.Integer>>	getDefMap(Traversable t) Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.
static Section.MAP	getDefSectionMap(Expression e, RangeDomain rd, java.util.Set<Symbol> def_vars) Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.
static Section.MAP	getDefSectionMap(Traversable t, java.util.Map range_map, RangeDomain unioned_rd, java.util.Set<Symbol> def_vars) Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.
static java.util.Set<Expression>	getDefSet(Traversable t) Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.
static java.util.Set<Symbol>	getDefSymbol(Traversable t) Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.
static java.util.Map<Symbol,java.util.Set<java.lang.Integer>>	getDefSymbolMap(Traversable t) Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.
static <T extends Traversable> java.util.List<T>	getDescendentsOfType(Traversable t, java.lang.Class<T> type) Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.
static <T extends Expression> java.util.List<T>	getExpressionOfType(Traversable t, java.lang.Class<T> type) Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.
static java.util.List	getExpressionType(Expression e) Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.
static Statement	getFirstNonDeclarationStatement(Traversable t) Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.
static java.util.List<FunctionCall>	getFunctionCalls(Traversable t) Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.
static java.util.Set<Symbol>	getGlobalSymbols(Traversable t) Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.
static Declaration	getLastDeclaration(Traversable t) Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.
static DeclarationStatement	getLastDeclarationStatement(Traversable t) Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.
static java.util.List<Statement>	getLastStatements(Procedure proc) Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.
static java.util.Set<Symbol>	getLocalSymbols(Traversable t) Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.
static java.util.Set<Symbol>	getParameterSymbols(Procedure proc) Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.
static Procedure	getParentProcedure(Traversable t) Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.
static TranslationUnit	getParentTranslationUnit(Traversable t) Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.
static Identifier	getPointerTemp(Traversable where, Identifier refID) Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.
static Identifier	getPointerTemp(Traversable where, java.util.List specs, java.util.List pspecs, java.lang.String name) Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.
static Identifier	getPointerTemp(Traversable where, java.util.List specs, java.lang.String name) Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.
static java.util.List<Procedure>	getProcedureList(Program program) Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.
static java.util.Set<Symbol>	getSideEffectSymbols(FunctionCall fc) Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.
static <T extends Statement> java.util.List<T>	getStatementsOfType(Traversable t, java.lang.Class<T> type) Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.
static Symbol	getSymbolOf(Expression e) Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.
static Symbol	getSymbolOfName(java.lang.String name, Traversable tr) Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.
static java.util.Set<Symbol>	getSymbols(SymbolTable st) Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.
static Identifier	getTemp(Identifier id) Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.
static Identifier	getTemp(Identifier id, java.lang.String name) Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.
static Identifier	getTemp(Traversable where, Identifier id) Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.
static Identifier	getTemp(Traversable where, java.util.List specs, java.lang.String name) Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.
static Identifier	getTemp(Traversable where, Specifier spec, java.lang.String name) Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.
static double	getTime() Returns a current system time in seconds since a system-wise reference time.
static double	getTime(double since) Returns the elapsed time in seconds since the given reference time.
static java.util.List<UnaryExpression>	getUnaryExpression(Traversable t, UnaryOperator op) Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.
static IDExpression	getUnusedID(SymbolTable table) Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.
static java.util.Map<Expression,java.util.Set<java.lang.Integer>>	getUseMap(Traversable t) Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.
static Section.MAP	getUseSectionMap(Expression e, RangeDomain rd, java.util.Set<Symbol> def_vars) Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.
static java.util.Set<Expression>	getUseSet(Traversable t) Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.
static java.util.Set<Symbol>	getUseSymbol(Traversable t) Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.
static java.util.Map<Symbol,java.util.Set<java.lang.Integer>>	getUseSymbolMap(Traversable t) Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.
static java.util.Set<Symbol>	getVariableSymbols(SymbolTable st) Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.
static java.util.LinkedList	getVariableType(Expression e) Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.
static int	getVerbosity() Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.
static int	identityIndexOf(java.util.List l, java.lang.Object o)
static int	indexByReference(java.util.List list, java.lang.Object obj)
static boolean	isAncestorOf(Traversable anc, Traversable des) Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.
static boolean	isArray(Symbol symbol) Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.
static boolean	isDescendantOf(Traversable des, Traversable anc) Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.
static boolean	isGlobal(Symbol symbol, Traversable t) Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.
static boolean	isInteger(Symbol symbol) Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.
static boolean	isPointer(Expression e) Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.
static boolean	isPointer(Symbol symbol) Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.
static boolean	isScalar(Symbol symbol) Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.
static java.lang.String	listToString(java.util.List list, java.lang.String separator) Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.
static java.lang.String	listToStringWithSkip(java.util.List list, java.lang.String separator) Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.
static java.lang.String	mapToString(java.util.Map map, java.lang.String separator) Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.
static void	mergeMaps(java.util.Map<Expression,java.util.Set<java.lang.Integer>> orig_map, java.util.Map<Expression,java.util.Set<java.lang.Integer>> new_map) Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.
static void	mergeSymbolMaps(java.util.Map<Symbol,java.util.Set<java.lang.Integer>> orig_map, java.util.Map<Symbol,java.util.Set<java.lang.Integer>> new_map) Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.
static void	print(java.lang.String message, int min_verbosity) Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.
static void	printList(java.util.List list, java.io.PrintWriter w) Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.
static void	printListWithComma(java.util.List list, java.io.PrintWriter w) Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.
static void	printListWithSeparator(java.util.List list, java.io.PrintWriter w, java.lang.String sep) Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.
static void	printListWithSpace(java.util.List list, java.io.PrintWriter w) Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.
static void	println(java.lang.String message, int min_verbosity) Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.
static void	printlnList(java.util.List list, java.io.PrintWriter w) Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.
static void	printlnStatus(Printable p, int min_verbosity) Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.
static void	printlnStatus(java.lang.String message, int min_verbosity) Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.
static void	printStatus(Printable p, int min_verbosity) Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.
static void	printStatus(java.lang.String message, int min_verbosity) Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.
static void	processIndent(java.io.File file) Process indentation for output C files
static <T> boolean	removeAll(java.util.Collection<T> c1, java.util.Collection c2) Wrapper for Collection.removeAll() that suppress "unchecked" warnings.
static void	removeAnnotations(Traversable t, java.lang.Class<? extends Annotation> type) Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.
static void	replaceAll(Traversable t, Expression x, Expression y) Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.
static Expression	replaceSymbol(Expression e, Symbol var, Expression expr) Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.
static void	replaceSymbolIn(Traversable t, Symbol var, Expression e) Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.
static <T> boolean	retainAll(java.util.Collection<T> c1, java.util.Collection c2) Wrapper for Collection.retainAll() that suppress "unchecked" warnings.
static boolean	verifyHomogeneousList(java.util.List list, java.lang.Class type)

Methods inherited from class java.lang.Object

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

Method Detail

addSymbols

@Deprecated
public static void addSymbols(SymbolTable table,
                         Declaration decl)

Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.

findSymbol

@Deprecated
public static Declaration findSymbol(SymbolTable table,
                                IDExpression name)

Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.

findSymbol

@Deprecated
public static Declaration findSymbol(SymbolTable table,
                                java.lang.String name)

Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.

getUnusedID

@Deprecated
public static IDExpression getUnusedID(SymbolTable table)

Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.

getTemp

@Deprecated
public static Identifier getTemp(Identifier id)

Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.

getTemp

@Deprecated
public static Identifier getTemp(Traversable where,
                            Identifier id)

Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.

getTemp

@Deprecated
public static Identifier getTemp(Identifier id,
                            java.lang.String name)

Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.

getTemp

@Deprecated
public static Identifier getTemp(Traversable where,
                            Specifier spec,
                            java.lang.String name)

Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.

getTemp

@Deprecated
public static Identifier getTemp(Traversable where,
                            java.util.List specs,
                            java.lang.String name)

Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.

getArrayTemp

@Deprecated
public static Identifier getArrayTemp(Traversable where,
                                 java.util.List specs,
                                 ArraySpecifier aspec,
                                 java.lang.String name)

Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.

getArrayTemp

@Deprecated
public static Identifier getArrayTemp(Traversable where,
                                 java.util.List specs,
                                 java.util.List aspecs,
                                 java.lang.String name)

Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.

getPointerTemp

@Deprecated
public static Identifier getPointerTemp(Traversable where,
                                   Identifier refID)

Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.

getPointerTemp

@Deprecated
public static Identifier getPointerTemp(Traversable where,
                                   java.util.List specs,
                                   java.lang.String name)

Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.

getPointerTemp

@Deprecated
public static Identifier getPointerTemp(Traversable where,
                                   java.util.List specs,
                                   java.util.List pspecs,
                                   java.lang.String name)

Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.

getSymbols

@Deprecated
public static java.util.Set<Symbol> getSymbols(SymbolTable st)

Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.

getVariableSymbols

@Deprecated
public static java.util.Set<Symbol> getVariableSymbols(SymbolTable st)

Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.

getGlobalSymbols

@Deprecated
public static java.util.Set<Symbol> getGlobalSymbols(Traversable t)

Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.

getParameterSymbols

@Deprecated
public static java.util.Set<Symbol> getParameterSymbols(Procedure proc)

Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.

getSideEffectSymbols

@Deprecated
public static java.util.Set<Symbol> getSideEffectSymbols(FunctionCall fc)

Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.

getAccessedSymbols

@Deprecated
public static java.util.Set<Symbol> getAccessedSymbols(Traversable t)

Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.

getLocalSymbols

@Deprecated
public static java.util.Set<Symbol> getLocalSymbols(Traversable t)

Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.

getSymbolOfName

@Deprecated
public static Symbol getSymbolOfName(java.lang.String name,
                                Traversable tr)

Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.

getSymbolOf

@Deprecated
public static Symbol getSymbolOf(Expression e)

Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.

isGlobal

@Deprecated
public static boolean isGlobal(Symbol symbol,
                          Traversable t)

Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.

isScalar

@Deprecated
public static boolean isScalar(Symbol symbol)

Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.

isArray

@Deprecated
public static boolean isArray(Symbol symbol)

Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.

isPointer

@Deprecated
public static boolean isPointer(Symbol symbol)

Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.

isPointer

@Deprecated
public static boolean isPointer(Expression e)

Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.

isInteger

@Deprecated
public static boolean isInteger(Symbol symbol)

Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.

getExpressionType

@Deprecated
public static java.util.List getExpressionType(Expression e)

Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.

getVariableType

@Deprecated
public static java.util.LinkedList getVariableType(Expression e)

Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.

printlnStatus

@Deprecated
public static void printlnStatus(Printable p,
                            int min_verbosity)

Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.

printlnStatus

@Deprecated
public static void printlnStatus(java.lang.String message,
                            int min_verbosity)

Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.

print

@Deprecated
public static void print(java.lang.String message,
                    int min_verbosity)

Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.

println

@Deprecated
public static void println(java.lang.String message,
                      int min_verbosity)

Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.

printStatus

@Deprecated
public static void printStatus(Printable p,
                          int min_verbosity)

Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.

printStatus

@Deprecated
public static void printStatus(java.lang.String message,
                          int min_verbosity)

Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.

printListWithSeparator

@Deprecated
public static void printListWithSeparator(java.util.List list,
                                     java.io.PrintWriter w,
                                     java.lang.String sep)

Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.

printListWithComma

@Deprecated
public static void printListWithComma(java.util.List list,
                                 java.io.PrintWriter w)

Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.

printListWithSpace

@Deprecated
public static void printListWithSpace(java.util.List list,
                                 java.io.PrintWriter w)

Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.

printList

@Deprecated
public static void printList(java.util.List list,
                        java.io.PrintWriter w)

Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.

printlnList

@Deprecated
public static void printlnList(java.util.List list,
                          java.io.PrintWriter w)

Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.

getVerbosity

@Deprecated
public static int getVerbosity()

Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.

collectionToString

@Deprecated
public static java.lang.String collectionToString(java.util.Collection coll,
                                             java.lang.String separator)

Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.

listToString

@Deprecated
public static java.lang.String listToString(java.util.List list,
                                       java.lang.String separator)

Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.

listToStringWithSkip

@Deprecated
public static java.lang.String listToStringWithSkip(java.util.List list,
                                               java.lang.String separator)

Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.

mapToString

@Deprecated
public static java.lang.String mapToString(java.util.Map map,
                                      java.lang.String separator)

Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.

getUseSet

@Deprecated
public static java.util.Set<Expression> getUseSet(Traversable t)

Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.

mergeSymbolMaps

@Deprecated
public static void mergeSymbolMaps(java.util.Map<Symbol,java.util.Set<java.lang.Integer>> orig_map,
                              java.util.Map<Symbol,java.util.Set<java.lang.Integer>> new_map)

Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.

mergeMaps

@Deprecated
public static void mergeMaps(java.util.Map<Expression,java.util.Set<java.lang.Integer>> orig_map,
                        java.util.Map<Expression,java.util.Set<java.lang.Integer>> new_map)

Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.

convertExprMap2SymbolMap

@Deprecated
public static java.util.Map<Symbol,java.util.Set<java.lang.Integer>> convertExprMap2SymbolMap(java.util.Map<Expression,java.util.Set<java.lang.Integer>> imap)

Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.

getUseSymbolMap

@Deprecated
public static java.util.Map<Symbol,java.util.Set<java.lang.Integer>> getUseSymbolMap(Traversable t)

Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.

getDefSymbolMap

@Deprecated
public static java.util.Map<Symbol,java.util.Set<java.lang.Integer>> getDefSymbolMap(Traversable t)

Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.

getUseSectionMap

@Deprecated
public static Section.MAP getUseSectionMap(Expression e,
                                      RangeDomain rd,
                                      java.util.Set<Symbol> def_vars)

Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.

getDefSectionMap

@Deprecated
public static Section.MAP getDefSectionMap(Expression e,
                                      RangeDomain rd,
                                      java.util.Set<Symbol> def_vars)

Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.

getUseMap

@Deprecated
public static java.util.Map<Expression,java.util.Set<java.lang.Integer>> getUseMap(Traversable t)

Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.

displayMap

@Deprecated
public static void displayMap(java.util.Map<Expression,java.util.Set<java.lang.Integer>> imap,
                         java.lang.String name)

Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.

getDefSet

@Deprecated
public static java.util.Set<Expression> getDefSet(Traversable t)

Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.

getDefList

@Deprecated
public static java.util.List<Expression> getDefList(Traversable t)

Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.

getDefMap

@Deprecated
public static java.util.Map<Expression,java.util.Set<java.lang.Integer>> getDefMap(Traversable t)

Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.

getDefSectionMap

@Deprecated
public static Section.MAP getDefSectionMap(Traversable t,
                                      java.util.Map range_map,
                                      RangeDomain unioned_rd,
                                      java.util.Set<Symbol> def_vars)

Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.

getDefSymbol

@Deprecated
public static java.util.Set<Symbol> getDefSymbol(Traversable t)

Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.

getUseSymbol

@Deprecated
public static java.util.Set<Symbol> getUseSymbol(Traversable t)

Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.

containsExpression

@Deprecated
public static boolean containsExpression(Traversable t,
                                    Expression e)

Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.

countExpressions

@Deprecated
public static int countExpressions(Traversable t,
                              Expression e)

Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.

findExpression

@Deprecated
public static Expression findExpression(Traversable t,
                                   Expression e)

Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.

checkConsistency

@Deprecated
public static boolean checkConsistency(Traversable t)

Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.

replaceAll

@Deprecated
public static void replaceAll(Traversable t,
                         Expression x,
                         Expression y)

Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.

getParentProcedure

@Deprecated
public static Procedure getParentProcedure(Traversable t)

Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.

getParentTranslationUnit

@Deprecated
public static TranslationUnit getParentTranslationUnit(Traversable t)

Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.

getLastDeclaration

@Deprecated
public static Declaration getLastDeclaration(Traversable t)

Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.

getLastDeclarationStatement

@Deprecated
public static DeclarationStatement getLastDeclarationStatement(Traversable t)

Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.

getFirstNonDeclarationStatement

@Deprecated
public static Statement getFirstNonDeclarationStatement(Traversable t)

Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.

replaceSymbol

@Deprecated
public static Expression replaceSymbol(Expression e,
                                  Symbol var,
                                  Expression expr)

Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.

replaceSymbolIn

@Deprecated
public static void replaceSymbolIn(Traversable t,
                              Symbol var,
                              Expression e)

Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.

containsExpressions

@Deprecated
public static boolean containsExpressions(Traversable t,
                                     java.util.Collection<? extends Expression> es)

Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.

containsSymbol

@Deprecated
public static boolean containsSymbol(Traversable t,
                                Symbol var)

Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.

containsSymbols

@Deprecated
public static boolean containsSymbols(Traversable t,
                                 java.util.Set<Symbol> vars)

Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.

containsSymbols

@Deprecated
public static boolean containsSymbols(java.util.Set<Symbol> vars,
                                 java.util.Set<Symbol> symbols)

Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.

containsClass

@Deprecated
public static boolean containsClass(Traversable t,
                               java.lang.Class<? extends Traversable> type)

Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.

containsClasses

@Deprecated
public static boolean containsClasses(Traversable t,
                                 java.util.Set<java.lang.Class<? extends Traversable>> types)

Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.

containsBinary

@Deprecated
public static boolean containsBinary(Traversable t,
                                BinaryOperator op)

Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.

containsUnary

@Deprecated
public static boolean containsUnary(Traversable t,
                               UnaryOperator op)

Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.

getUnaryExpression

@Deprecated
public static java.util.List<UnaryExpression> getUnaryExpression(Traversable t,
                                                            UnaryOperator op)

Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.

containsSideEffect

@Deprecated
public static boolean containsSideEffect(Traversable t)

Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.

getAncestorOfType

@Deprecated
public static <T extends Traversable> T getAncestorOfType(Traversable t,
                                                     java.lang.Class<T> type)

Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.

getDescendentsOfType

@Deprecated
public static <T extends Traversable> java.util.List<T> getDescendentsOfType(Traversable t,
                                                                        java.lang.Class<T> type)

Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.

isAncestorOf

@Deprecated
public static boolean isAncestorOf(Traversable anc,
                              Traversable des)

Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.

isDescendantOf

@Deprecated
public static boolean isDescendantOf(Traversable des,
                                Traversable anc)

Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.

containsFunctionCall

@Deprecated
public static boolean containsFunctionCall(Traversable t)

Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.

getFunctionCalls

@Deprecated
public static java.util.List<FunctionCall> getFunctionCalls(Traversable t)

Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.

collectPragmas

@Deprecated
public static <T extends PragmaAnnotation> java.util.List<T> collectPragmas(Traversable t,
                                                                       java.lang.Class<T> pragma_cls,
                                                                       java.lang.String key)

Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.

getLastStatements

@Deprecated
public static java.util.List<Statement> getLastStatements(Procedure proc)

Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.

getStatementsOfType

@Deprecated
public static <T extends Statement> java.util.List<T> getStatementsOfType(Traversable t,
                                                                     java.lang.Class<T> type)

Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.

getExpressionOfType

@Deprecated
public static <T extends Expression> java.util.List<T> getExpressionOfType(Traversable t,
                                                                      java.lang.Class<T> type)

Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.

getProcedureList

@Deprecated
public static java.util.List<Procedure> getProcedureList(Program program)

Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.

removeAnnotations

@Deprecated
public static void removeAnnotations(Traversable t,
                                java.lang.Class<? extends Annotation> type)

Deprecated. As of release 1.2; use the new tools in DataFlowTools, IRTools, PrintTools, or SymbolTools.

indexByReference

public static int indexByReference(java.util.List list,
                   java.lang.Object obj)

identityIndexOf

public static int identityIndexOf(java.util.List l,
                  java.lang.Object o)

verifyHomogeneousList

public static boolean verifyHomogeneousList(java.util.List list,
                            java.lang.Class type)

containsClass

public static boolean containsClass(java.util.Collection c,
                    java.lang.Class type)

containsClasses

public static boolean containsClasses(java.util.Collection c,
                      java.lang.Class... types)

getTime

public static double getTime()

Returns a current system time in seconds since a system-wise reference time.

Returns:

the time in seconds.

getTime

public static double getTime(double since)

Returns the elapsed time in seconds since the given reference time.

Parameters:

since - the reference time

Returns:

the elapsed time in seconds

exit

public static void exit(java.lang.String msg)

Invokes a exit handler after printing the specified message.

Parameters:

msg - the message to be printed

exitThrowsException

public static void exitThrowsException(boolean flag)

Selects how Tools.exit() behaves. Setting flag = true causes Tools.exit() throw a runtime exception instead of invoking System.exit().

Parameters:

flag - the boolean flag

exit

public static void exit(int status)

Invokes exit operation. Depending on the flag set by exitThrowsException(boolean), this method either calls System.exit(int) or throws a RuntimeException.

Parameters:

status - the exit status

Throws:

java.lang.RuntimeException - if the last call to exitThrowsException(boolean) is with true.

addAll

public static <T> boolean addAll(java.util.Collection<T> c1,
                 java.util.Collection c2)

Wrapper for Collection.addAll() that suppress "unchecked" warnings. Pass writers are responsible for assuring type safety when using this wrapper.

containsAll

public static <T> boolean containsAll(java.util.Collection<T> c1,
                      java.util.Collection c2)

Wrapper for Collection.containsAll() that suppress "unchecked" warnings. Pass writers are responsible for assuring type safety when using this wrapper.

removeAll

public static <T> boolean removeAll(java.util.Collection<T> c1,
                    java.util.Collection c2)

Wrapper for Collection.removeAll() that suppress "unchecked" warnings. Pass writers are responsible for assuring type safety when using this wrapper.

retainAll

public static <T> boolean retainAll(java.util.Collection<T> c1,
                    java.util.Collection c2)

Wrapper for Collection.retainAll() that suppress "unchecked" warnings. Pass writers are responsible for assuring type safety when using this wrapper.

processIndent

public static void processIndent(java.io.File file)

Process indentation for output C files

Parameters:

file - output C file