net.sourceforge.czt.animation.common.analyzer

Class ZLiveAnalyzer

java.lang.Object

net.sourceforge.czt.animation.common.analyzer.ZLiveAnalyzer

All Implemented Interfaces:

Analyzer

public class ZLiveAnalyzer
extends Object
implements Analyzer

Author:

Linan Zhang

Constructor Summary

Constructors

Constructor and Description
ZLiveAnalyzer()

Method Summary

Modifier and Type	Method and Description
String	getSchemaContent(String schemaName) For toolTip texts
Set<String>	getSchemaNames() For ui to know how many and what are their names
String	getSchemaType(String schemaName) For ui to get default schema type
URL	getSpecURL() For initialize Evaluator
HashMap<String,net.sourceforge.czt.z.ast.Expr>	getVariableMap(String schemaName, String variableType) Return a variable map frome a schema (schemaName)) The map contains information of variable name -> an new instance of expr
void	initialize(File specFile) First initialize the analyzer to let it know which spec it is working on, but it only needs to know how many schemas are there and their names.

Methods inherited from class java.lang.Object

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

Constructor Detail

ZLiveAnalyzer

public ZLiveAnalyzer()

Method Detail

initialize

public void initialize(File specFile)

Description copied from interface: Analyzer

First initialize the analyzer to let it know which spec it is working on, but it only needs to know how many schemas are there and their names.

Specified by:

initialize in interface Analyzer

getSpecURL

public URL getSpecURL()

Description copied from interface: Analyzer

For initialize Evaluator

Specified by:

getSpecURL in interface Analyzer

Returns:

the URL of the specfication

getSchemaNames

public Set<String> getSchemaNames()

Description copied from interface: Analyzer

For ui to know how many and what are their names

Specified by:

getSchemaNames in interface Analyzer

Returns:

the set of schema Names

getSchemaType

public String getSchemaType(String schemaName)

Description copied from interface: Analyzer

For ui to get default schema type

Specified by:

getSchemaType in interface Analyzer

Returns:

the type of the schema

getSchemaContent

public String getSchemaContent(String schemaName)

Description copied from interface: Analyzer

For toolTip texts

Specified by:

getSchemaContent in interface Analyzer

Returns:

the content of the schema

getVariableMap

public HashMap<String,net.sourceforge.czt.z.ast.Expr> getVariableMap(String schemaName,
                                                                     String variableType)

Description copied from interface: Analyzer

Return a variable map frome a schema (schemaName)) The map contains information of variable name -> an new instance of expr

Specified by:

getVariableMap in interface Analyzer

variableType - one of (state, primed, input, output)

Returns: