Example 26 with DataType
use of verdict.vdm.vdm_data.DataType in project VERDICT by ge-high-assurance.
the class PrettyPrinter method visit.
public void visit(SymbolDefinition symbolDef) {
String symbol_name = symbolDef.getName();
sb.append(symbol_name);
sb.append(TAB);
DataType dataType = symbolDef.getDataType();
sb.append(":");
visit(dataType);
sb.append(" = ");
Expression expr = symbolDef.getDefinition();
// visit(expr);
}
Also used :
Expression(verdict.vdm.vdm_lustre.Expression)
DataType(verdict.vdm.vdm_data.DataType)
Aggregations
DataType (verdict.vdm.vdm_data.DataType)26
Expression (verdict.vdm.vdm_lustre.Expression)6
RecordType (verdict.vdm.vdm_data.RecordType)4
RecordField (verdict.vdm.vdm_data.RecordField)3
ArrayList (java.util.ArrayList)2
Matcher (java.util.regex.Matcher)2
Pattern (java.util.regex.Pattern)2
TypeDeclaration (verdict.vdm.vdm_data.TypeDeclaration)2
ContractItem (verdict.vdm.vdm_lustre.ContractItem)2
NodeEquation (verdict.vdm.vdm_lustre.NodeEquation)2
SymbolDefinition (verdict.vdm.vdm_lustre.SymbolDefinition)2
VariableDeclaration (verdict.vdm.vdm_lustre.VariableDeclaration)2
CompInstancePort (verdict.vdm.vdm_model.CompInstancePort)2
Port (verdict.vdm.vdm_model.Port)2
PortMode (verdict.vdm.vdm_model.PortMode)2
HashMap (java.util.HashMap)1
HashSet (java.util.HashSet)1
List (java.util.List)1
Stack (java.util.Stack)1
ArrayType (verdict.vdm.vdm_data.ArrayType)1
