Tasks

[lausdahl]

Here is a list of tasks that needs to be implemented. Please add more.

• Class structure

• Class structure + inheritance

• Field access

  • local
  • public

• Calls

  • local
  • public
  • name,
  • self,
  • new,
  • object field ,
  • object apply

• Memory management free all that is constructed

• expressions

  • time
  • set
  • seq
  • map
  • pattern-match
  • let
    • let
    • let be
  • def
  • conditional
    • if then else
    • cases + others
  • Quantified (try to rewrite these using basic constructs)
    • forall
    • exists
    • exists1
  • iota
  • mk tuple
  • mk record
  • apply
    • apply ()
    • field select a.b
    • tuple select a.#1
    • function type instantiation (not sure what this is name[type,type] make polymorphism)
  • new
  • self
  • lambda
  • narrow?
  • is is_...
    • bool
    • nat
    • nat1
    • int
    • rat
    • real
    • char
    • token
  • isofbaseclass
  • isofclass
  • samebaseclass
  • sameclass
  • undefined this maps to nothing
  • patterns
    • identifier
    • match
    • set enum
    • set union
    • seq enum
    • seq conc
    • map enum
    • map munion
    • tuple
    • record
    • object
  • values

• statements

  • for loop rewrite all to a while+ scope
    • sequence loop for pattern in set SEQ do stm
    • set for loop for all pattern in set SET do stm
    • index for id = 1 to 10 by 2 do exp
  • while
  • nondeterministic stm || (stm1,stm2)
  • return
  • skip
  • duration * equals skip*
  • cycles equals skip

• Patterns + binds

  • identifier
  • ...

• number operations. All number operations must conform to the

  The five numeric types denote a subset hierarchy where real is the most general type followed
  by rat3, int, nat and nat1. Note that no “casting” like it is done in many programming
  languages is needed in the VDM languages.
  This means that any number of type int is also automatically of type real but not necessarily
  of type nat. Another way to illustrate this is to say that the positive natural numbers are a subset
  of the natural numbers which again are a subset of the integers which again are a subset of the
  rational numbers which finally are a subset of the real numbers. The following table shows some
  numbers and their associated type. LangMan p. 8

This is not the case right now.

[bandurvp]

Checked Clearsy model, needs:
seq - Some sequence functions (++ for example) are not implemented, but they are not used in this model.
logic - Clearsy model only uses quantifiers in invariants.
pattern match

• let - Clearsy model only uses simplest version let var = ... Has implication for cases below.
• cases
  for seq + index
  call on object

[bandurvp]

This is a very old issue, all the relevant information is now contained in the Overture User Manual.