simontegg / hotdrink

Automatically exported from code.google.com/p/hotdrink
0 stars 0 forks source link

Unused fields in CGraphAst documentation #16

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago
The CGraphAst reference documentation under hotdrink.graph.CGraph has some 
optional fields which are not actually generated by Adam parser.

These are 'reaches' in variables and 'constraint' in methods.

CGraphAst ::=
  {
    variables : {
      /variable-name/ : {
      ...
        [, reaches : /variable-name-list/]
      },
      ...
    },
    methods : {
      /method-name/ : {
        ...
        [, constraint : /constraint-name/]
      },
      ...
    },

Original issue reported on code.google.com by guruw...@gmail.com on 5 Apr 2011 at 6:45

GoogleCodeExporter commented 9 years ago
[master 6206016] 

Original comment by jfreema...@gmail.com on 8 Apr 2011 at 7:11