ABS language manual

This section contains the language manual.

• Introduction
  • The ABS language
  • The ABS actor and concurrency model
  • Error propagation and recovery in ABS
• Lexical structure
  • Line terminators and white spaces
  • Comments
  • Identifiers
  • Keywords
  • Literals
  • Annotations
• Types
  • Built-in types
  • Algebraic data types
  • Interface types
  • Exceptions
  • Type synonyms
  • Location types
• Expressions
  • Literals
  • Template strings
  • Operator expressions
  • Let
  • Data constructor expressions
  • Function calls
  • Partially-defined-function calls
  • Conditional expressions
  • Case
  • Type-check expressions
  • Type-cast expressions
  • New
  • Synchronous method calls
  • Asynchronous method calls
  • Get
  • Await (expression)
  • Destiny (expression)
• Function definitions
  • Partial function definitions
  • Anonymous functions
  • Built-in functions
  • Embedded SQLite database queries
• Statements
  • Skip
  • Variable declarations
  • Assignment
  • Expressions as statements
  • Assertions
  • Await (statement)
  • Unconditional release: suspend
  • Return
  • Throw
  • Blocks of statements
  • Conditionals
  • Switch: pattern matching
  • The while loop
  • The foreach loop
  • Handling exceptions with try-catch-finally
• Interfaces
• Classes
  • Active classes
  • Constant fields
  • Read-only methods
  • Atomic methods
• Traits
  • Trait operations
• Modules
  • Defining a module
  • Exporting identifiers
  • Importing identifiers
• The standard library
  • Boolean values
  • Numbers
  • Strings
  • Unit
  • Object
  • The future type
  • Predefined exceptions in the standard library
  • Lists
  • Sets
  • Maps
  • Pairs
  • Triples
  • Optionals
  • Others
• The model API
  • Starting the model API
  • Shutting down the model API
  • Exposing objects
  • Exposing methods
  • Querying object state
  • Listing the exposed methods of an object
  • Calling exposed methods
  • The model API and timed ABS
  • Customizing the browser-based visualization
  • Customizing the model API URL
• Semantic lifting
  • The lifting ontology
  • Accessing lifted state externally
  • Accessing lifted state within the model
• Timed ABS
  • Semantics of time advancement
  • Datatypes and constructors
  • Functions
  • Statements
  • Timed ABS and the model API
• Deployment and resource modeling
  • Deployment components
  • Resource types
  • Modeling resource usage
  • The CloudProvider API
• User-defined schedulers
  • Defining schedulers
  • Using schedulers
  • Using object state in schedulers
  • Processes and process attributes
• Software product line engineering
  • Delta-oriented programming
  • The feature model
  • Software product lines and products
• ABS backends
  • Java
  • Erlang
  • Maude
• Glossary