LoI Reference Manual

3.1 Notation

3.2 Lexical Conventions

3.2.1 Whitespace
3.2.2 Include
3.2.3 Comments
3.2.4 Symbols

3.3 Structure of Modules

3.3.1 Header of a Module
3.3.2 Body of a Module

3.4 Variables, Parameters and Typing

3.4.1 Declaration
3.4.2 Modification
3.4.3 Usage
3.4.4 Scope
3.4.5 Parameters
3.4.6 Typing
3.4.7 Type Constraints
3.4.8 Type Expressions
3.4.9 Type Definitions

3.5 Datatypes and Expressions

3.5.1 Object
3.5.2 Void
3.5.3 Integers
3.5.4 Floats
3.5.5 Boolean
3.5.6 Char
3.5.7 Mutex
3.5.8 Agent
3.5.9 Aid
3.5.10 Modules
3.5.11 Ports
3.5.12 Arrays
3.5.13 Strings
3.5.14 Tuples
3.5.15 Constructors
3.5.16 Functions
3.5.17 Additional Functions
3.5.18 Type Constraints
3.5.19 Function Calls or Module Activation
3.5.20 Subexpressions
3.5.21 Precedence of Operators

3.6 Agents and Roles

3.6.1 Agent
3.6.2 Aid
3.6.3 Roles

3.7 Statements

3.7.1 Sequential Execution
3.7.2 Concurrent Execution
3.7.3 Alternative Execution
3.7.4 while
3.7.5 for
3.7.6 do
3.7.7 within
3.7.8 if
3.7.9 switch
3.7.10 synchronized
3.7.11 fail
3.7.12 succeed
3.7.13 continue
3.7.14 break
3.7.15 throw
3.7.16 try
3.7.17 return
3.7.18 Function Call/Agent Activation
3.7.19 Module Definition
3.7.20 Definition
3.7.21 Type Definition
3.7.22 Modification
3.7.23 Turn
3.7.24 Input Utterances
3.7.25 Output Utterances
3.7.26 Composed Utterances
3.7.27 connect
3.7.28 disconnect
3.7.29 admit
3.7.30 exclude
3.7.31 Blocks
3.7.32 Precedence

3.8 Threads

3.8.1 Type
3.8.2 Constants
3.8.3 Functions
3.8.4 Equality

3.9 Communication

3.9.1 Turn
3.9.2 Input Utterance
3.9.3 Output Utterance
3.9.4 Composed Utterance
3.9.5 Local Execution

My Home

© 2000 by Gil Müller