UV Manual: Input Language

Warning

Contents

Types and Type Checking

• Overview
• Types
  • Boolean
  • Finite Range Integers Types: cyclic, bits, int
  • Enumeration Types
  • Record Types
  • Mapping (Array) Types
• Type Checking

The Grammar

• Grammar Notation
• Lexical Conventions
  • Tokens
  • Comments
  • Numbers
  • Names
  • External Names
• Expressions
• Types
• Programs
  • Declare Section
  • Always Section
  • Initially Section
  • Assign Section
• Properties
• Regular Expressions
• Parser Input