Computer Laboratory

tesla::FieldAssignment Struct Reference

Detailed Description

Assignment to a field in a structure.

Definition at line 193 of file tesla.proto.

+ Collaboration diagram for tesla::FieldAssignment:

Public Types

enum  AssignType { SimpleAssign = 1, MinusEqual = 3 }
 Types of assignment: simple or compound. More...
 

Public Attributes

required StructField field = 8
 The field being assigned to. More...
 
required AssignType operation = 4
 The kind of assignment (e.g. More...
 
required Argument value = 5
 The value being assigned. More...
 
optional bool strict = 7 [ default = true ]
 If set, this event should only occur as described by the automaton. More...
 

Member Enumeration Documentation

Types of assignment: simple or compound.

Enumerator
SimpleAssign 
MinusEqual 

Definition at line 195 of file tesla.proto.

195 { SimpleAssign = 1; PlusEqual = 2; MinusEqual = 3; };

Member Data Documentation

required StructField tesla::FieldAssignment::field = 8

The field being assigned to.

Definition at line 198 of file tesla.proto.

Referenced by tesla::FieldAssignTransition::DotLabel(), tesla::operator==(), and tesla::FieldAssignTransition::ShortLabel().

required AssignType tesla::FieldAssignment::operation = 4

The kind of assignment (e.g.

'+=').

Definition at line 201 of file tesla.proto.

Referenced by tesla::FieldAssignTransition::DotLabel(), tesla::operator==(), and tesla::FieldAssignTransition::ShortLabel().

optional bool tesla::FieldAssignment::strict = 7 [ default = true ]

If set, this event should only occur as described by the automaton.

Definition at line 207 of file tesla.proto.

Referenced by tesla::FieldAssignTransition::IsStrict(), and tesla::operator==().

required Argument tesla::FieldAssignment::value = 5

The value being assigned.

Definition at line 204 of file tesla.proto.

Referenced by tesla::FieldAssignTransition::DotLabel(), tesla::operator==(), and tesla::FieldAssignTransition::ShortLabel().


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