Examples of org.openquark.cal.valuenode.ValueNodeCommitHelper

• org.openquark.cal.valuenode.ValueNodeCommitHelper
  This is a helper class that can be used to calculate the changes that would take place when a value node is committed, and that value node is type-linked to other value nodes.

  For instance, in the case of an add gem, the two arguments to the gem are type-linked; the types of the two arguments are the same.

  • If one of the arguments is of type Double, then the other argument is also of type Double.
  • If both arguments are Doubles, and one of the arguments is switched to the Int type, the other argument must also be switched to the Int type, otherwise there will be an inconsistency.

  To use this class:

  1. create a map from value node to unconstrained type, for every value node for which type-switching is possible. Care should be taken to maintain the desired referential equality among the given unconstrained type expr.

     eg. In the case of an add gem, two value nodes would both be mapped to the same (Num a=> a -> a) TypeExpr object.

  2. when a value node is committed, call getCommitValues(). A map will be returned, where every value in the above map is mapped to its new value after the commit.

     eg. In the case of an add gem, if the two value nodes are associated as in (1), a commit to one value will cause both associated value nodes to appear as keys in the returned map (since they both would change). These will be mapped to the new values that would appear on commit/type-switch.

  @author Edward Lam

Related Classes of org.openquark.cal.valuenode.ValueNodeCommitHelper