Download PDF Version

Contents
1
2
3
4
Introduction
6
1.1
Toolchain Flow . . . . . . . . . . . . . . . . . . . . . . . . . . .
8
1.2
Bundles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
10
1.3
Binding and Naming . . . . . . . . . . . . . . . . . . . . . . . .
10
1.4
DoP and Checking Granularity . . . . . . . . . . . . . . . . . . .
10
1.5
Re-Hydration . . . . . . . . . . . . . . . . . . . . . . . . . . . .
11
Ontology
12
2.1
12
Glossary . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Pushlogic Constants
14
3.1
Atomic Constant Values. . . . . . . . . . . . . . . . . . . . . . .
14
3.2
Event Constants
. . . . . . . . . . . . . . . . . . . . . . . . . .
15
3.3
Pushlogic Types
. . . . . . . . . . . . . . . . . . . . . . . . . .
15
3.3.1
Lock Type . . . . . . . . . . . . . . . . . . . . . . . . .
15
3.3.2
Fuse Type . . . . . . . . . . . . . . . . . . . . . . . . . .
15
3.3.3
Boolean Type . . . . . . . . . . . . . . . . . . . . . . . .
16
Pushlogic Object Level (VM Execution)
17
4.1
Code Reflection Schema . . . . . . . . . . . . . . . . . . . . . .
17
4.2
Virtual Machine . . . . . . . . . . . . . . . . . . . . . . . . . . .
19
4.3
Pushlogic Expressions . . . . . . . . . . . . . . . . . . . . . . .
24
4.4
Fields and their Declaration. . . . . . . . . . . . . . . . . . . . .
24
4.5
Level and Event Expressions . . . . . . . . . . . . . . . . . . . .
26
4.5.1
Syntax-directed guide to level and event expressions . . .
26
4.5.2
Assertions on Level and Event Expressions . . . . . . . .
26
2