Skip to content
Snippets Groups Projects
Select Git revision
  • 25ad39c4b8fadb5e8da2e4fde0372b89e87bffa9
  • master default
  • labcomm2014
  • labcomm2006
  • python_sig_hash
  • typedefs
  • anders.blomdell
  • typeref
  • pragma
  • compiler-refactoring
  • labcomm2013
  • v2014.6
  • v2015.0
  • v2014.5
  • v2014.4
  • v2006.0
  • v2014.3
  • v2014.2
  • v2014.1
  • v2014.0
  • v2013.0
21 results

LabComm.ast

Blame
  • LabComm.ast 1.39 KiB
    Specification ::= Decl*;
    
    abstract Decl ::= TypeInstance /Signature/;
    
    TypeInstance ::= DataType Annotations;
    
    Annotations ::= Annotation*;
    Annotation ::= <Key:String> <Value:byte[]>;
    
    Intention : Annotation;
    DocString : Annotation;
    
    TypeDecl   : Decl;
    SampleDecl : Decl;
    
    //Signatures are in the abstract grammar, so that
    //they can be extended and refined by aspects.
    
    Signature                 ::= SignatureList FlatSignatureList:SignatureList;
    SignatureList             ::= SignatureLine*;
    abstract SignatureLine 	  ::= <Indent:int> <Comment:String>;
    abstract DataSignatureLine : SignatureLine;
    ByteArraySignatureLine     : DataSignatureLine ::= <Data:byte[]>;
    IntSignatureLine           : DataSignatureLine ::= <Data:int>;
    StringSignatureLine        : DataSignatureLine ::= <Data:String>;
    IntentionSignatureLine     : DataSignatureLine ::= Intention* ;
    TypeRefSignatureLine       : SignatureLine     ::= Decl;
    
    Field : TypeInstance;
    
    abstract DataType;
    VoidType           : DataType;
    //SampleRefType      : DataType;
    PrimType           : DataType ::= <Name:String> <Token:int>;
    UserType           : DataType ::= <Name:String>;
    StructType         : DataType ::= Field*;
    ParseArrayType     : DataType ::= DataType Dim*;
    abstract ArrayType : DataType ::= DataType Dim;
    VariableArrayType  : ArrayType;
    FixedArrayType     : ArrayType;
    
    Dim ::= Exp*;
    
    abstract Exp;
    IntegerLiteral : Exp ::= <Value:String>;
    VariableSize   : Exp;