A C E F M N O P R X
All Classes All Packages

A

Analysis - Interface in org.polystat

An interface every analysis method has to implement.

apply(String) - Method in class org.polystat.Program

C

Calc - Class in org.polystat.far

Make XSL from rules.txt.

Calc(String) - Constructor for class org.polystat.far.Calc

Ctor.

E

errors(Func<String, XML>, String) - Method in interface org.polystat.Analysis

Analyse the specified object in the provided XMIR and return the list of errors found.

errors(Func<String, XML>, String) - Method in class org.polystat.far.Reverses

exec(String...) - Method in class org.polystat.Polystat

Run it.

Expr - Class in org.polystat.far

Boolean Expression Solver.

Expr(String) - Constructor for class org.polystat.far.Expr

Ctor.

Expr(Map<String, String>, String) - Constructor for class org.polystat.far.Expr

Ctor.

F

find() - Method in class org.polystat.far.Expr

Is it possible?

M

main(String...) - Static method in class org.polystat.Polystat

Main entrance for Java command line.

N

NEVER - Static variable in class org.polystat.far.Expr

None.

O

org.polystat - package org.polystat

Polystat main package.

org.polystat.far - package org.polystat.far

FAR.

P

Polystat - Class in org.polystat

Main entrance.

Polystat(PrintStream) - Constructor for class org.polystat.Polystat

Ctor.

Program - Class in org.polystat

A collection of all EO files, which are accessible as XMIR elements, by their object locators.

Program(Path, Path) - Constructor for class org.polystat.Program

Ctor.

R

Reverses - Class in org.polystat.far

Finding bugs via reverses.

Reverses() - Constructor for class org.polystat.far.Reverses

X

xsl() - Method in class org.polystat.far.Calc

Make it.

A C E F M N O P R X
All Classes All Packages