net.sourceforge.czt.animation.common.analyzer

Interface Analyzer

All Known Implementing Classes:

ZLiveAnalyzer

public interface Analyzer

Author:

Linan Zhang

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.

Method Detail

initialize

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.

getSpecURL

URL getSpecURL()

For initialize Evaluator

Returns:

the URL of the specfication

getSchemaNames

Set<String> getSchemaNames()

For ui to know how many and what are their names

Returns:

the set of schema Names

getSchemaType

String getSchemaType(String schemaName)

For ui to get default schema type

Parameters:

schemaName -

Returns:

the type of the schema

getSchemaContent

String getSchemaContent(String schemaName)

For toolTip texts

Parameters:

schemaName -

Returns:

the content of the schema

getVariableMap

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

Parameters:

schemaName -

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

Returns: