Conditionals

[varivera]

Manage all type of conditionals

• [x] if
• [x] if else
• [ ] ?:
• [ ] switch
• [ ] etc

[varivera]

The rule, as presented in the paper, is: if (C){ a = x; }else{ b=x; }

G>>(a:=x) \union clone(G>>(b:=x))

• [ ] Implement the rule as it stands (inefficient but sound -- it could be improved later)
• [ ] \union: by roots (to consider: what to do in case of several roots)
• [ ] 'clone' is a very expensive operation. It could be improved by cloning only the parts needed: how to do so?

UPDATE: there is a new logic for the implementation of conditionals. Alias Diagrams are represented differently

[varivera]

• [x] TODO: Creating Cond to handle conditionals: transfer additions and deletions from Cond to Cond, e.g. nested conditionals, feature call in a conditional, loop in a cond.. etc

[varivera]

To think about then a=b;b=d; end

[varivera]

9919 Changes