Changes between Version 12 and Version 13 of AST Schema


Ignore:
Timestamp:
12/23/11 08:11:22 (14 years ago)
Author:
stachnik
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • AST Schema

    v12 v13  
    44<?xml version="1.0" standalone="yes"?>
    55<scroot:rootNode xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
    6           xsi:schemaLocation="http://vsl.cis.udel.edu/ns/tass/tass_ast
    7                               tass_ast.xsd"
    8           xmlns:xs="http://www.w3.org/2001/XMLSchema" xmlns:scroot="http://vsl.cis.udel.edu/ns/tass/tass_ast">
     6                 xsi:schemaLocation="http://vsl.cis.udel.edu/ns/tass/tass_ast
     7                                     tass_ast.xsd"
     8                xmlns:scroot="http://vsl.cis.udel.edu/ns/tass/tass_ast">
    99  <id_RootNode>1</id_RootNode>
    10   <fdn_mainFunction>4</fdn_mainFunction>
     10  <fdn_mainFunction>7</fdn_mainFunction>
    1111  <globalScopeNodes>
    1212    <id_GlobalScopeNodes>2</id_GlobalScopeNodes>
    1313    <child>
    14       <id_FunctionDeclarationNode>4</id_FunctionDeclarationNode>
     14      <id_FunctionDeclarationNode>3</id_FunctionDeclarationNode>
     15      <source region="1,0,1,21" fileRef="501" />
    1516      <identifier>
    16         <id_IdentifierNode>5</id_IdentifierNode>
    17         <name>test</name>
     17        <id_IdentifierNode>4</id_IdentifierNode>
     18        <name>__assert__</name>
    1819      </identifier>
    1920      <outputType>
    20         <id_TypeNode>6</id_TypeNode>
     21        <id_VoidTypeNode>5</id_VoidTypeNode>
    2122      </outputType>
    2223      <formals>
    23         <id_FormalVariableDeclarationNodes>7</id_FormalVariableDeclarationNodes>
     24        <id_FormalVariableDeclarationNodes>6</id_FormalVariableDeclarationNodes>
    2425      </formals>
    2526    </child>
     27    <child>
     28      <id_FunctionDeclarationNode>7</id_FunctionDeclarationNode>
     29      <source region="3,6,3,6" fileRef="502" />
     30      <identifier>
     31        <id_IdentifierNode>8</id_IdentifierNode>
     32        <name>f</name>
     33      </identifier>
     34      <outputType>
     35        <id_VoidTypeNode>9</id_VoidTypeNode>
     36      </outputType>
     37      <formals>
     38        <id_FormalVariableDeclarationNodes>10</id_FormalVariableDeclarationNodes>
     39        <child>
     40          <id_FormalVariableDeclarationNode>11</id_FormalVariableDeclarationNode>
     41          <source region="3,8,3,12" fileRef="502" />
     42          <isRestrict>false</isRestrict>
     43          <storageClass>AUTO</storageClass>
     44          <fdn_function>7</fdn_function>
     45          <type>
     46            <id_IntegerTypeNode>12</id_IntegerTypeNode>
     47            <intType>INT</intType>
     48          </type>
     49          <identifier>
     50            <id_IdentifierNode>13</id_IdentifierNode>
     51            <name>x</name>
     52          </identifier>
     53        </child>
     54      </formals>
     55      <body>
     56        <id_BlockNode>14</id_BlockNode>
     57        <source region="3,1,7,1" fileRef="502" />
     58        <labels>
     59          <id_LabelNodes>15</id_LabelNodes>
     60        </labels>
     61        <variables>
     62          <id_VariableDeclarationNodes>16</id_VariableDeclarationNodes>
     63          <child>
     64            <id_LocalVariableDeclarationNode>17</id_LocalVariableDeclarationNode>
     65            <source region="4,3,4,7" fileRef="502" />
     66            <isRestrict>true</isRestrict>
     67            <storageClass>AUTO</storageClass>
     68            <bn_block>14</bn_block>
     69            <type>
     70              <id_IntegerTypeNode>19</id_IntegerTypeNode>
     71              <intType>INT</intType>
     72            </type>
     73            <identifier>
     74              <id_IdentifierNode>18</id_IdentifierNode>
     75              <name>y</name>
     76            </identifier>
     77          </child>
     78        </variables>
     79        <statements>
     80          <id_StatementNodes>20</id_StatementNodes>
     81          <child>
     82            <id_AssignmentNode>21</id_AssignmentNode>
     83            <source region="6,3,6,7" fileRef="502" />
     84            <labels>
     85              <id_LabelNodes>22</id_LabelNodes>
     86            </labels>
     87            <lhs>
     88              <id_VariableReferenceNode>23</id_VariableReferenceNode>
     89              <source region="6,3,6,3" fileRef="502" />
     90              <name>y</name>
     91              <vdn_referent>17</vdn_referent>
     92              <labels>
     93                <id_LabelNodes>24</id_LabelNodes>
     94              </labels>
     95            </lhs>
     96            <rhs>
     97              <id_VariableReferenceNode>25</id_VariableReferenceNode>
     98              <source region="6,7,6,7" fileRef="502" />
     99              <name>x</name>
     100              <vdn_referent>11</vdn_referent>
     101              <labels>
     102                <id_LabelNodes>26</id_LabelNodes>
     103              </labels>
     104            </rhs>
     105          </child>
     106        </statements>
     107      </body>
     108    </child>
     109   
    26110  </globalScopeNodes>
    27  
     111  <files>
     112    <id_FileNodes>500</id_FileNodes>
     113    <child>
     114      <id_FileNode>501</id_FileNode>
     115      <fileName>/s/home/alex/tass/trunk/include/assert.h</fileName>
     116    </child>
     117    <child>
     118      <id_FileNode>502</id_FileNode>
     119      <fileName>/s/home/alex/tass/trunk/examples/xml/example.c</fileName>
     120      <contents>
     121#!include &lt;assert.h&gt;
     122
     123void f(int x) {
     124  int y;
     125
     126  y = x;
     127}
     128
     129int g(int x) {
     130  char y;
     131  int z;
     132
     133  f(x);
     134  z = 42;
     135  z = x;
     136  return z;
     137}
     138
     139int main(int argc, char** argv) {
     140  assert(g(4) == 4);
     141  return 0;
     142}</contents>
     143    </child>
     144  </files>
    28145</scroot:rootNode>
    29146}}}