Class FormulaAnalyzer

java.lang.Object

fr.inria.rules.integraal.util.object_analyzer.FormulaAnalyzer

public class FormulaAnalyzer
extends Object

Produces textual summaries for formulas.

Constructor Summary

Constructors

Constructor	Description
FormulaAnalyzer()	Creates the formula analyzer utility.

Method Summary

Modifier and Type	Method	Description
static String	info(FOFormula f)	Returns structural information about the supplied formula.

Methods inherited from class Object

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

Constructor Details

FormulaAnalyzer

public FormulaAnalyzer()

Creates the formula analyzer utility.

Method Details

info

public static String info(FOFormula f)

Returns structural information about the supplied formula.

Parameters:

f - the formula to analyze

Returns:

a textual summary of the formula structure