The TASM Language Reference Manual Version 1.1 - Synrc

More documents

Recommendations

Info

XML Example 6 XML for a function ASM template with 2 internal variables, 2 input variables, and 2 rules On Taxi in1 = On and in2 = Cruise out1 := Taxi in1 = Off and in2 = Landing out1 := Cruise 62
3.4.2 Typing All variables are statically typed in the <strong>TASM</strong> language. In rule guards, all the guards must evaluate to a Boolean value (True or False). Function machines used in guards must have an output variable of type Boolean. All application of operators must be correctly typed. <strong>The</strong> list of operators is given in table 3.2. All assignments must also be correctly typed. This includes assignments from function machines, constants, and variables. 63
Page 1 and 2:
The TASM Language Reference Manual
Page 3 and 4:
Contents 1 Introduction 5 2 The Lan
Page 5 and 6:
List of Figures 2.1 Hierarchical co
Page 7 and 8:
Chapter 1 Introduction This documen
Page 9 and 10:
Chapter 2 The Language The Timed Ab
Page 11 and 12:
2.2 Basic Definitions The term spec
Page 13 and 14: TASM Example 1 Light Switch Version
Page 15 and 16: The keyword next, used with time sp
Page 17 and 18: of resource usage for the step. If
Page 19 and 20: • T RU 1 = (5, ((memory, 200), (p
Page 21 and 22: The composition of resources also f
Page 23 and 24: T RU ret = T RU 1 ⊕ ( (T RU 2 ⊕
Page 25 and 26: • T RS 0 = (0, ((memory, 0)), ((l
Page 27 and 28: RC 1 ⊙ RC 2 = (rc 11 , . . . , rc
Page 29 and 30: The example is further extended to
Page 31 and 32: TASM Example 8 Fan Main Machine Def
Page 33 and 34: Table 2.1: Special Operators Operat
Page 35 and 36: main machine templates. The concept
Page 37 and 38: Chapter 3 Syntax This chapter descr
Page 39 and 40: Table 3.1: Reserved Keywords Keywor
Page 41 and 42: Table 3.2: Operators Operator Signa
Page 43 and 44: TASMUCaseLetter > ::= ′ A ′ |
Page 45 and 46: 3.2.2 Project < TASMProjectDef > ::
Page 47 and 48: 3.2.5 Syntax Common to all Machine
Page 49 and 50: 3.2.8 Function Machine < TASMFTempl
Page 51 and 52: Table 3.3: XML Tags for Top Level S
Page 53 and 54: env types rsrcs vars vname tname *
Page 55 and 56: sys confs * conf name desc viname v
Page 57 and 58: XML Example 4 XML for a list of tem
Page 59 and 60: cons cbody cparams body * cparam cp
Page 61 and 62: XML Example 5 XML for main ASM temp
Page 63: Table 3.11: XML Syntax Tree for Fun
Page 67 and 68: Table 4.1: Operator Precedence Oper
Page 69 and 70: 4.2.5 Rules The desugaring of the r
Page 71 and 72: is used to sum up all of the resour
Page 73: [10] Y. Gurevich. Evolving Algebras
show all

The TASM Language Reference Manual Version 1.1 - Synrc

Create successful ePaper yourself

Delete template?

Save as template?