Computer Laboratory

tesla::Expression Struct Reference

Detailed Description

A temporal expression.

e.g. previously(foo) || eventually(bar)

This is a union type.

Definition at line 107 of file tesla.proto.

+ Collaboration diagram for tesla::Expression:

Public Types

enum  Type { BOOLEAN_EXPR = 1, NOW = 4, SUB_AUTOMATON = 7 }
 

Public Attributes

enum tesla::Expression::Type type = 1
 
optional BooleanExpr booleanExpr = 2
 
optional Sequence sequence = 3
 
optional NowEvent now = 4
 
optional FunctionEvent function = 5
 
optional FieldAssignment fieldAssign = 6
 
optional Identifier subAutomaton = 7
 

Member Enumeration Documentation

Enumerator
BOOLEAN_EXPR 
NOW 
SUB_AUTOMATON 

Definition at line 108 of file tesla.proto.

108  {
109  BOOLEAN_EXPR = 1; SEQUENCE = 2; NULL_EXPR = 3;
110  NOW = 4; FUNCTION = 5; FIELD_ASSIGN = 6;
111  SUB_AUTOMATON = 7;
112  };

Member Data Documentation

optional BooleanExpr tesla::Expression::booleanExpr = 2

Definition at line 115 of file tesla.proto.

optional FieldAssignment tesla::Expression::fieldAssign = 6

Definition at line 119 of file tesla.proto.

optional FunctionEvent tesla::Expression::function = 5

Definition at line 118 of file tesla.proto.

optional NowEvent tesla::Expression::now = 4

Definition at line 117 of file tesla.proto.

optional Sequence tesla::Expression::sequence = 3

Definition at line 116 of file tesla.proto.

optional Identifier tesla::Expression::subAutomaton = 7

Definition at line 120 of file tesla.proto.

enum tesla::Expression::Type tesla::Expression::type = 1

The documentation for this struct was generated from the following file: