Project

General

Profile

Task #6068

Description of complex situations

Added by Alexander Kamkin almost 5 years ago. Updated 3 months ago.

Status:
Rejected
Priority:
Normal
Assignee:
Andrei Tatarnikov
Category:
Template Processor
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 5 years ago

  • Description updated (diff)
#2

Updated by Alexander Kamkin 3 months ago

  • Status changed from New to Rejected

Also available in: Atom PDF