<?xml version="1.0" standalone="yes"?>
<rootNode xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
          xsi:schemaLocation="http://vsl.cis.udel.edu/ns/tass/tass_ast
                              tass_ast.xsd"
          xmlns="http://vsl.cis.udel.edu/ns/tass/tass_ast"
          xmlns:file="http://vsl.cis.udel.edu/ns/tass/File"
          xmlns:astnode="http://vsl.cis.udel.edu/ns/tass/ASTNode"
          xmlns:rtn="http://vsl.cis.udel.edu/ns/tass/RootNode"
          xmlns:fdn="http://vsl.cis.udel.edu/ns/tass/declaration/FunctionDeclarationNode"
          xmlns:idn="http://vsl.cis.udel.edu/ns/tass/IdentifierNode"
          xmlns:tyn="http://vsl.cis.udel.edu/ns/tass/type/TypeNode"
          xmlns:fvn="http://vsl.cis.udel.edu/ns/tass/declaration/FormalVariableDeclarationNode"
          xmlns:bln="http://vsl.cis.udel.edu/ns/tass/statement/BlockNode"
          xmlns:vdn="http://vsl.cis.udel.edu/ns/tass/declaration/VariableDeclarationNode"
          xmlns:exn="http://vsl.cis.udel.edu/ns/tass/statement/expression/ExpressionNode"
          xmlns:itn="http://vsl.cis.udel.edu/ns/tass/type/IntegerTypeNode"
          xmlns:stn="http://vsl.cis.udel.edu/ns/tass/statement/StatementNode"
     xmlns:lvdn="http://vsl.cis.udel.edu/ns/tass/declaration/LocalVariableDeclarationNode"
     xmlns:mdn="http://vsl.cis.udel.edu/ns/tass/statement/expression/ModificationNode"
          xmlns:lhsn="http://vsl.cis.udel.edu/ns/tass/statement/expression/LHSExpressionNode"
          xmlns:asn="http://vsl.cis.udel.edu/ns/tass/statement/expression/AssignmentNode"
          xmlns:gsn="http://vsl.cis.udel.edu/ns/tass/GlobalScopeNode"
          xmlns:vtn="http://vsl.cis.udel.edu/ns/tass/type/VoidTypeNode"
          xmlns:vrn="http://vsl.cis.udel.edu/ns/tass/statement/expression/VariableReferenceNode"
          xmlns:rn="http://vsl.cis.udel.edu/ns/tass/statement/ReturnNode"
          xmlns:ln="http://vsl.cis.udel.edu/ns/tass/statement/expression/LiteralNode"
          xmlns:iln="http://vsl.cis.udel.edu/ns/tass/statement/expression/IntegerLiteralNode"
          xmlns:ptn="http://vsl.cis.udel.edu/ns/tass/type/PointerTypeNode"
          xmlns:frn="http://vsl.cis.udel.edu/ns/tass/statement/expression/FunctionReferenceNode"
          xmlns:fin="http://vsl.cis.udel.edu/ns/tass/statement/expression/FunctionInvocationNode"
          xmlns:on="http://vsl.cis.udel.edu/ns/tass/statement/expression/OperatorNode"
          xmlns:asrn="http://vsl.cis.udel.edu/ns/tass/statement/AssertStatementNode"
          xmlns:btn="http://vsl.cis.udel.edu/ns/tass/type/BooleanTypeNode"
    xmlns:gvdn="http://vsl.cis.udel.edu/ns/tass/declaration/GlobalVariableDeclarationNode"
      xmlns:misc="http://vsl.cis.udel.edu/ns/tass/misc">

  <rtn:globalScopeNodes>
    <gsn:child xsi:type="pgn:PragmaNode">
      <![CDATA[
      TASS input int 
      ]]>
    </gsn:child>
    <gsn:child xsi:type="pgn:PragmaNode">
      <![CDATA[
      TASS input {n>=0 && n<=B} int 
      ]]>
    </gsn:child>
    <gsn:child xsi:type="pgn:PragmaNode">
      <![CDATA[
      TASS input 
      ]]>
    </gsn:child>
    <gsn:child xsi:type="gvdn:GlobalVariableDeclarationNode">
      <gvdn:name identifier="a" />
      <gvdn:type xsi:type="dtn:DoubleTypeNode[]" />
    </gsn:child>
    <gsn:child xsi:type="pgn:PragmaNode">
      <![CDATA[
      TASS output 
      ]]>
    </gsn:child>
    <gsn:child xsi:type="gvdn:GlobalVariableDeclarationNode">
      <gvdn:name identifier="sum" />
      <gvdn:type xsi:type="dtn:DoubleTypeNode" />
    </gsn:child>
    <gsn:child xsi:type="fdn:FunctionDeclarationNode">
      <astnode:source region="10,6,10,9" fileRef="0" />
      <fdn:id>
        0
      </fdn:id>
      <fdn:name identifier="main" />
      <fdn:outputType xsi:type="vtn:VoidTypeNode" />
      <fdn:formals  />
      <fdn:body>
        <bln:id>
          1
        </bln:id>
        <bln:variables>        <vdn:child xsi:type="lvdn:LocalVariableDeclarationNode">
          <astnode:source region="11,2,11,20" fileRef="0" />
          <vdn:id>
            2
          </vdn:id>
          <vdn:name identifier="result" />
          <vdn:type xsi:type="dtn:DoubleTypeNode" />
          <lvdn:bref>
            1
          </lvdn:bref>
        </vdn:child>
        <vdn:child xsi:type="lvdn:LocalVariableDeclarationNode">
          <astnode:source region="12,2,12,6" fileRef="0" />
          <vdn:id>
            4
          </vdn:id>
          <vdn:name identifier="i" />
          <vdn:type xsi:type="itn:IntegerTypeNode" />
          <lvdn:bref>
            1
          </lvdn:bref>
        </vdn:child>
</bln:variables>
        <bln:statements>
                  <stn:child xsi:type="asn:AssignmentNode">
          <astnode:source region="11,2,11,20" fileRef="0" />
          <stn:id>
            3
          </stn:id>
          <mdn:lhs xsi:type="vrn:VariableReferenceNode">
            <astnode:source region="11,2,11,20" fileRef="0" />
            <vrn:vref>
              2
            </vrn:vref>
          </mdn:lhs>
        </stn:child>
        <fsn:ForStatementNode>
          <astnode:source region="14,2,14,35" fileRef="0" />
          <fsn:ForInit>
            <stn:child xsi:type="asn:AssignmentNode">
              <astnode:source region="14,7,14,9" fileRef="0" />
              <stn:id>
                5
              </stn:id>
              <mdn:lhs xsi:type="vrn:VariableReferenceNode">
                <astnode:source region="14,7,14,7" fileRef="0" />
                <vrn:vref>
                  4
                </vrn:vref>
              </mdn:lhs>
              <asn:rhs xsi:type="iln:IntegerLiteralNode">
                <astnode:source region="14,9,14,9" fileRef="0" />
                <ln:type xsi:type="itn:IntegerTypeNode" />
                <iln:integerValue>
                  0
                </iln:integerValue>
              </asn:rhs>
            </stn:child>
          </fsn:ForInit>
          <fsn:ForCond>
            <stn:child xsi:type="on:OperatorNode">
              <astnode:source region="14,12,14,14" fileRef="0" />
              <on:operator>
                LESS
              </on:operator>
              <on:argument1 xsi:type="vrn:VariableReferenceNode">
                <astnode:source region="14,12,14,12" fileRef="0" />
                <vrn:vref>
                  4
                </vrn:vref>
              </on:argument1>
              <on:argument2 xsi:type="iln:IntegerLiteralNode">
                <astnode:source region="14,14,14,14" fileRef="0" />
                <ln:name identifier="n" />
                <ln:type xsi:type="itn:IntegerTypeNode" />
                <iln:integerValue>
                  10
                </iln:integerValue>
              </on:argument2>
            </stn:child>
          </fsn:ForCond>
          <fsn:ForInc>
            <stn:child xsi:type="inc:IncrementNode">
              <stn:child xsi:type="vrn:VariableReferenceNode">
                <astnode:source region="14,17,14,17" fileRef="0" />
                <vrn:vref>
                  4
                </vrn:vref>
              </stn:child>
            </stn:child>
          </fsn:ForInc>
          <fsn:ForBody>
            <stn:child xsi:type="casn:AddAssignmentNode">
              <astnode:source region="14,22,14,35" fileRef="0" />
              <stn:id>
                6
              </stn:id>
              <casn:lhs xsi:type="vrn:VariableReferenceNode">
                <astnode:source region="14,22,14,27" fileRef="0" />
                <vrn:vref>
                  2
                </vrn:vref>
              </casn:lhs>
              <stn:child xsi:type="sub:SubscriptNode">
                <casn:rhs xsi:type="vrn:VariableReferenceNode">
                  <astnode:source region="14,32,14,32" fileRef="0" />
                  <vrn:vref>
                    0
                  </vrn:vref>
                </casn:rhs>
                <casn:rhs xsi:type="vrn:VariableReferenceNode">
                  <astnode:source region="14,34,14,34" fileRef="0" />
                  <vrn:vref>
                    4
                  </vrn:vref>
                </casn:rhs>
              </stn:child>
            </stn:child>
          </fsn:ForBody>
        </fsn:ForStatementNode>
        <stn:child xsi:type="asn:AssignmentNode">
          <astnode:source region="15,2,15,13" fileRef="0" />
          <stn:id>
            7
          </stn:id>
          <mdn:lhs xsi:type="vrn:VariableReferenceNode">
            <astnode:source region="15,2,15,4" fileRef="0" />
            <vrn:vref>
              0
            </vrn:vref>
          </mdn:lhs>
          <asn:rhs xsi:type="vrn:VariableReferenceNode">
            <astnode:source region="15,8,15,13" fileRef="0" />
            <vrn:vref>
              2
            </vrn:vref>
          </asn:rhs>
        </stn:child>

        </bln:statements>
      </fdn:body>
    </gsn:child>

  </rtn:globalScopeNodes>
  <rtn:files>
    <file:child>
      <file:id>
        0
      </file:id>
      <file:fileName>
        /Users/tmcclory/src/tass/tass/trunk/examples/adder/adder_seq.c
      </file:fileName>
      <file:contents><![CDATA[#pragma TASS input int
#define B 10
#pragma TASS input {n>=0 && n<=B} int 
#define n 10
#pragma TASS input 
double a[n];
#pragma TASS output 
double sum;

void main() {
        double result = 0.0;
        int i;
        
        for (i=0; i<n; i++) result += a[i];
        sum = result;
}
]]>    </file:contents>
  </file:child>
</rtn:files>
</rootNode>