Project

General

Profile

Task #6068

Description of complex situations

Added by Alexander Kamkin almost 4 years ago. Updated almost 4 years ago.

Status:
New
Priority:
Normal
Category:
TDL
Target version:
Start date:
06/19/2015
Due date:
06/26/2015
% Done:

0%

Estimated time:
Detected in build:
svn
Published in build:

Description

Syntax:

S ::= situation({:symbol => string, }* string {, :symbol => value} {, S}*)

Examples:

  1. situation('overflow') - a simple situation.
  2. situation('overflow', :size => 32) - a parameterized situation (size is a parameter of the situation).
  3. situation(:x => 'rs', :y => 'rt', 'overflow') - a situation with bindings (x and y are constrained variables of the situation).
  4. situation(:x => 'rs', :y => 'rt', 'overflow', :size => 32) - a parameterized situation with bindings.
  5. situation('overflow', situation('possitive')) - a composite situation (overflow && possitive).
  6. situation('mem.write', situation(:address => addr, 'user.segment')) - a composite situation with inner bindings.

History

#1 Updated by Alexander Kamkin almost 4 years ago

  • Description updated (diff)

Also available in: Atom PDF