smc_scan_scxml 0.1.0

SCXML frontend for the Scan model checker.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61

pub const TAG_SPECIFICATION: &str = "specification";
pub const TAG_MODEL: &str = "model";
pub const TAG_PROPERTIES: &str = "properties";
// pub const TAG_TYPE: &str = "type";
pub const TAG_TYPES: &str = "types";
pub const TAG_DATA_TYPE_LIST: &str = "dataTypeList";
pub const TAG_ENUMERATION: &str = "enumeration";
pub const TAG_LABEL: &str = "label";
pub const TAG_STRUCT: &str = "structure";
pub const TAG_FIELD: &str = "field";
pub const TAG_PROCESS: &str = "process";
pub const TAG_PROCESS_LIST: &str = "processList";
pub const TAG_STATE: &str = "state";
pub const TAG_SCXML: &str = "scxml";
pub const ATTR_INITIAL: &str = "initial";
pub const ATTR_VERSION: &str = "version";
pub const ATTR_DATAMODEL: &str = "datamodel";
pub const ATTR_XMLNS: &str = "xmlns";
pub const ATTR_MODEL_SRC: &str = "model_src";
pub const ATTR_ID: &str = "id";
pub const ATTR_NAME: &str = "name";
pub const ATTR_TYPE: &str = "type";
pub const ATTR_PARAM: &str = "param";
pub const ATTR_MOC: &str = "moc";
pub const ATTR_PATH: &str = "path";
// pub const TAG_VERSION: &str = "version";
// pub const TAG_NAME: &str = "name";
// pub const TAG_XMLNS: &str = "xmlns";
pub const TAG_DATAMODEL: &str = "datamodel";
pub const TAG_DATA: &str = "data";
pub const TAG_IF: &str = "if";
pub const TAG_ELIF: &str = "elseif";
pub const TAG_ELSE: &str = "else";
// pub const TAG_BOOL: &str = "bool";
// pub const TAG_INT: &str = "int";
// pub const TAG_UNIT: &str = "unit";
// pub const TAG_BINDING: &str = "binding";
pub const TAG_TRANSITION: &str = "transition";
pub const ATTR_TARGET: &str = "target";
pub const ATTR_TARGETEXPR: &str = "targetexpr";
pub const ATTR_DELAY: &str = "delay";
pub const ATTR_EVENT: &str = "event";
pub const ATTR_COND: &str = "cond";
pub const TAG_ONENTRY: &str = "onentry";
pub const TAG_ONEXIT: &str = "onexit";
// pub const TAG_NULL: &str = "NULL";
// pub const TAG_SCRIPT: &str = "script";
pub const TAG_ASSIGN: &str = "assign";
pub const ATTR_LOCATION: &str = "location";
pub const ATTR_EXPR: &str = "expr";
pub const TAG_RAISE: &str = "raise";
pub const TAG_SEND: &str = "send";
pub const TAG_PARAM: &str = "param";
// pub const TAG_STRUCT_LIST: &str = "structList";
// pub const TAG_ENUMERATION: &str = "enumeration";
// pub const TAG_SERVICE: &str = "service";
// pub const TAG_STRUCT: &str = "struct";
// pub const TAG_STRUCT_DATA: &str = "structData";
// pub const TAG_FIELD_ID: &str = "fieldId";
// pub const TAG_ENUM: &str = "enum";
// pub const TAG_FUNCTION: &str = "function";