Examples of xtc.type.Type

xtc.type.Type
The superclass of all types.
The class hierarchy for types distinguishes basic from wrapped types, with wrapped types providing additional information for basic types. For each basic type, this class provides isName() and toName() methods to replace instanceof tests and casts, respectively. For each wrapped type, this class additionally provides a hasName() method, which identifies instances of the wrapped type even if they are wrapped inside another (wrapped) type. In other words, invocations of hasName() are forwarded across wrapped types while invocations of isName() only apply to the outermost type object. For wrapped types, invocations of toName() are also forwarded across (other) wrapped types.
As an example, consider an int type wrapped in an annotated type and an alias type:
```
 Type i = NumberT.INT; Type j = new AnnotatedT(i); Type k = new AliasT("alias", j); 
```
Then the following method invocations have the following results:
```
 k.isAlias()        ⇒ true k.hasAlias()       ⇒ true k.toAlias()        ⇒ k k.isAnnotated()    ⇒ false k.hasAnnotated()   ⇒ true k.toAnnotated()    ⇒ j k.isInteger()      ⇒ false k.toInteger()      ⇒ error 
```
The {@link #resolve()} method can be used to strip any wrappedtypes:
```
 Type r = k.resolve(); r.isAlias()        ⇒ false r.isAnnotated()    ⇒ false r.isInteger()      ⇒ true r.toInteger()      ⇒ i 
```
The {@link Tag} enumeration also identifies particular types.A type's tag can be accessed through {@link #tag()}, which is forwarded across wrapped types, and through {@link #wtag()}, which is not forwarded across wrapped types. As a result, tag() identifies basic types independent of whether they are wrapped or not, while wtag() always identifies the outermost type:
```
 k.tag()            ⇒ Tag.INTEGER k.wtag()           ⇒ Tag.ALIAS i.tag()            ⇒ Tag.INTEGER i.tag()            ⇒ Tag.INTEGER 
```
Each type can have one or more of the following annotations:
- Its source location represented as a {@link Location}.
- Its source language represented as a {@link Language} tag.
- Its scope represented as a {@link String}.
- Its constant value represented as a {@link Constant}.
- Its memory shape represented as a {@link Reference}. Only lvalues can have a shape.
- Its attributes represented as a list of {@link Attribute}values.
For each kind of annotation, this class defines tester, getter, and setter methods. The tester and getter methods come in two versions, one that is forwarded across wrapped types and one that uses a boolean parameter to control forwarding. @author Robert Grimm @version $Revision: 1.112 $

    ast.initialize(hasNode, hasToken, hasFormatting, hasAction);


    // Intern the types.
    for (Module m : g.modules) {
      for (Production p : m.productions) {
        Type t;


        try {
          t = ast.intern(p.dType);
        } catch (IllegalArgumentException x) {
          runtime.error(x.getMessage() + " for production '" + p.name + "'", p);

View Full Code Here

    }
    for (int i=0; i<md.options.size(); i++) {
      printer.indent().p(indexT()).align(align).p(OPTION).p(i+1).
        pln(';');


      Type t = md.options.get(i);
      if (null != t) {
        String s = extern(t);
        if (attributeRawTypes) s = rawT(s);
        printer.indent().p(s).align(align).p(OP_VALUE).p(i+1).pln(';');
      }

View Full Code Here

    }
    String  name        = bindingName;
    bindingName         = null;
    Element bound       = bindingElement;
    bindingElement      = null;
    Type type           = bindingType;
    bindingType         = null;


    boolean rep         = repeated;
    repeated            = true;
    boolean once        = repeatedOnce;

View Full Code Here

    }
    String name         = bindingName;
    bindingName         = null;
    Element bound       = bindingElement;
    bindingElement      = null;
    Type type           = bindingType;
    bindingType         = null;


    boolean opt         = optional;
    optional            = true;
    boolean rep         = repeated;

View Full Code Here

  /** Generate code for the specified binding. */
  public void visit(Binding b) {
    // Save old name and element.
    String  oldName    = bindingName;
    Element oldElement = bindingElement;
    Type    oldType    = bindingType;


    // Set up new name and element;
    bindingName    = b.name;
    bindingElement = b.element;
    bindingType    = null; // For now, this field is only used in options.

View Full Code Here


  /** Actually emit the code for the last visited binding. */
  protected void binding() {
    switch (bindingElement.tag()) {
    case NONTERMINAL: {
      Type type = VALUE.equals(bindingName) ? analyzer.current().type :
        analyzer.lookup((NonTerminal)bindingElement).type;
      Type cast = attributeRawTypes && ! AST.isAny(type) ? type : null;
      binding1(extern(type), bindingName, extern(cast),
               resultName + ".semanticValue()");
    } break;


    case ANY_CHAR:

View Full Code Here


    // If the location optimization is enabled and yyValue is declared
    // to be a node or token, then add the source location directly to
    // the just created node.  Otherwise, just record that the
    // alternative creates a node value.
    final Type type = analyzer.current().type;
    if (attributeWithLocation &&
        runtime.test("optimizeLocation") &&
        AST.isNode(type)) {
      printer.indent().p(VALUE).p(".setLocation(location(").p(ARG_INDEX).
        pln("));");

View Full Code Here

        
      } else {
        // Lift choice.
        NonTerminal nt = analyzer.choice();
        
        Type type;
        if (isTextOnly()) {
          type = AST.STRING;
        } else if (isToken()) {
          type = AST.TOKEN;
        } else if (bound || ((isGeneric() || isList()) &&

View Full Code Here

        return r;
      }


      NonTerminal nt = (r.once)? analyzer.plus() : analyzer.star();


      Type type;
      if (isTextOnly()) {
        type = AST.STRING;
      } else if (isToken()) {
        type = AST.TOKEN;
      } else if (bound || ((isGeneric() || isList()) &&

View Full Code Here

        return o;
      }


      NonTerminal nt = analyzer.option();


      Type type;
      if (isTextOnly()) {
        type = AST.STRING;
      } else if (isToken()) {
        type = AST.TOKEN;
      } else if (bound || ((isGeneric() || isList()) &&

View Full Code Here

0 1 2

TOP

Related Classes of xtc.type.Type

xtc.parser.Annotator

xtc.parser.CodeGenerator

xtc.parser.DirectLeftRecurser

xtc.parser.ListMaker

xtc.parser.MetaDataSetter

xtc.parser.Resolver

xtc.parser.Transformer$Desugarer

xtc.parser.Transformer$Lifter

xtc.parser.TreeTyper

xtc.parser.VariantSorter

All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.