Ejemplo n.º 1
0
 public StaticFieldLocation(String cname, String fname) {
   super(null, ClassType.make(cname), fname);
 }
 public Type getImplementationType() {
   return ClassType.make("gnu.kawa.xml.KProcessingInstruction");
 }
Ejemplo n.º 3
0
 public static void emitLoadModuleMethod(LambdaExp paramLambdaExp, Compilation paramCompilation)
 {
   Object localObject3 = paramLambdaExp.nameDecl;
   Object localObject1;
   CodeAttr localCodeAttr;
   Object localObject2;
   label61:
   label129:
   label150:
   label178:
   int i;
   if (localObject3 == null)
   {
     localObject1 = paramLambdaExp.getName();
     localCodeAttr = null;
     localObject2 = localCodeAttr;
     if (paramCompilation.immediate)
     {
       localObject2 = localCodeAttr;
       if (localObject1 != null)
       {
         localObject2 = localCodeAttr;
         if (localObject3 != null)
         {
           localObject3 = Environment.getCurrent();
           if (!(localObject1 instanceof Symbol)) {
             break label353;
           }
           localObject2 = (Symbol)localObject1;
           localObject3 = ((Environment)localObject3).get((Symbol)localObject2, paramCompilation.getLanguage().getEnvPropertyFor(paramLambdaExp.nameDecl), null);
           localObject2 = localCodeAttr;
           if ((localObject3 instanceof ModuleMethod)) {
             localObject2 = (ModuleMethod)localObject3;
           }
         }
       }
     }
     localCodeAttr = paramCompilation.getCode();
     localObject3 = Compilation.typeModuleMethod;
     if (localObject2 != null) {
       break label369;
     }
     localCodeAttr.emitNew((ClassType)localObject3);
     localCodeAttr.emitDup(1);
     localObject2 = "<init>";
     localObject3 = ((ClassType)localObject3).getDeclaredMethod((String)localObject2, 4);
     if (!paramLambdaExp.getNeedsClosureEnv()) {
       break label385;
     }
     localObject2 = paramLambdaExp.getOwningLambda();
     if ((!(localObject2 instanceof ClassExp)) || (((LambdaExp)localObject2).staticLinkField == null)) {
       break label393;
     }
     localCodeAttr.emitLoad(localCodeAttr.getCurrentScope().getVariable(1));
     localCodeAttr.emitPushInt(paramLambdaExp.getSelectorValue(paramCompilation));
     paramCompilation.compileConstant(localObject1, Target.pushObject);
     int j = paramLambdaExp.min_args;
     if (paramLambdaExp.keywords != null) {
       break label583;
     }
     i = paramLambdaExp.max_args;
     label215:
     localCodeAttr.emitPushInt(i << 12 | j);
     localCodeAttr.emitInvoke((Method)localObject3);
     if (paramLambdaExp.properties == null) {
       return;
     }
     j = paramLambdaExp.properties.length;
     i = 0;
     label252:
     if (i >= j) {
       return;
     }
     localObject2 = paramLambdaExp.properties[i];
     if ((localObject2 != null) && (localObject2 != PropertySet.nameKey))
     {
       localObject1 = paramLambdaExp.properties[(i + 1)];
       localCodeAttr.emitDup(1);
       paramCompilation.compileConstant(localObject2);
       localObject2 = Target.pushObject;
       if (!(localObject1 instanceof Expression)) {
         break label589;
       }
       ((Expression)localObject1).compile(paramCompilation, (Target)localObject2);
     }
   }
   for (;;)
   {
     localCodeAttr.emitInvokeVirtual(ClassType.make("gnu.mapping.PropertySet").getDeclaredMethod("setProperty", 2));
     i += 2;
     break label252;
     localObject1 = ((Declaration)localObject3).getSymbol();
     break;
     label353:
     localObject2 = Symbol.make("", localObject1.toString().intern());
     break label61;
     label369:
     paramCompilation.compileConstant(localObject2, Target.pushValue((Type)localObject3));
     localObject2 = "init";
     break label129;
     label385:
     localObject2 = paramCompilation.getModule();
     break label150;
     label393:
     if ((!(localObject2 instanceof ModuleExp)) || ((paramCompilation.moduleClass == paramCompilation.mainClass) && (!paramCompilation.method.getStaticFlag())))
     {
       localCodeAttr.emitPushThis();
       break label178;
     }
     if (paramCompilation.moduleInstanceVar == null)
     {
       paramCompilation.moduleInstanceVar = localCodeAttr.locals.current_scope.addVariable(localCodeAttr, paramCompilation.moduleClass, "$instance");
       if ((paramCompilation.moduleClass == paramCompilation.mainClass) || (paramCompilation.isStatic())) {
         break label571;
       }
       localCodeAttr.emitNew(paramCompilation.moduleClass);
       localCodeAttr.emitDup(paramCompilation.moduleClass);
       localCodeAttr.emitInvokeSpecial(paramCompilation.moduleClass.constructor);
       paramCompilation.moduleInstanceMainField = paramCompilation.moduleClass.addField("$main", paramCompilation.mainClass, 0);
       localCodeAttr.emitDup(paramCompilation.moduleClass);
       localCodeAttr.emitPushThis();
       localCodeAttr.emitPutField(paramCompilation.moduleInstanceMainField);
     }
     for (;;)
     {
       localCodeAttr.emitStore(paramCompilation.moduleInstanceVar);
       localCodeAttr.emitLoad(paramCompilation.moduleInstanceVar);
       break;
       label571:
       localCodeAttr.emitGetStatic(paramCompilation.moduleInstanceMainField);
     }
     label583:
     i = -1;
     break label215;
     label589:
     paramCompilation.compileConstant(localObject1, (Target)localObject2);
   }
 }
 static {
   typeProcessingInstructionType = ClassType.make("gnu.kawa.xml.ProcessingInstructionType");
   coerceMethod = typeProcessingInstructionType.getDeclaredMethod("coerce", 2);
   coerceOrNullMethod = typeProcessingInstructionType.getDeclaredMethod("coerceOrNull", 2);
 }
Ejemplo n.º 5
0
/** A type that matches some number of repetitions of a basetype. */
public class OccurrenceType extends ObjectType implements Externalizable, TypeValue {
  Type base;
  int minOccurs;
  int maxOccurs;

  public Type getBase() {
    return base;
  }

  public int minOccurs() {
    return minOccurs;
  }

  public int maxOccurs() {
    return maxOccurs;
  }

  public OccurrenceType(Type base, int minOccurs, int maxOccurs) {
    this.base = base;
    this.minOccurs = minOccurs;
    this.maxOccurs = maxOccurs;
  }

  public static Type getInstance(Type base, int minOccurs, int maxOccurs) {
    if (minOccurs == 1 && maxOccurs == 1) return base;
    if (minOccurs == 0
        && maxOccurs < 0
        && (base == SingletonType.instance || base == Type.pointer_type)) return Type.pointer_type;
    return new OccurrenceType(base, minOccurs, maxOccurs);
  }

  public static final Type emptySequenceType =
      OccurrenceType.getInstance(SingletonType.instance, 0, 0);

  public Type getImplementationType() {
    return Type.pointer_type;
  }

  public int compare(Type other) {
    if (other instanceof OccurrenceType) {
      OccurrenceType occOther = (OccurrenceType) other;
      if (minOccurs == occOther.minOccurs && maxOccurs == occOther.maxOccurs)
        return base.compare(occOther.getBase());
    }
    /*
    Type primeThis = itemPrimeType(getBase());
    Type primeOther = itemPrimeType(other);
    FIXME: Compare primThis with primOther AND the occurrence numbers.
    */
    return -2;
  }

  public Object coerceFromObject(Object obj) {
    if (obj instanceof Values) {
    } else {
      // Assumes that base is an item type.  FIXME.
      if (minOccurs <= 1 && maxOccurs != 0) return base.coerceFromObject(obj);
    }
    // FIXME
    if (!isInstance(obj)) throw new ClassCastException();
    return obj;
  }

  public boolean isInstance(Object obj) {
    if (obj instanceof Values) {
      Values vals = (Values) obj;
      int pos = vals.startPos();
      int n = 0;
      if (base instanceof ItemPredicate) {
        ItemPredicate pred = (ItemPredicate) base;
        for (; ; ) {
          boolean matches;
          matches = pred.isInstancePos(vals, pos);
          pos = vals.nextPos(pos);
          if (pos == 0) {
            return n >= minOccurs && (maxOccurs < 0 || n <= maxOccurs);
          }
          if (!matches) return false;
          n++;
        }
      } else {

        for (; ; ) {
          pos = vals.nextPos(pos);
          if (pos == 0) {
            return n >= minOccurs && (maxOccurs < 0 || n <= maxOccurs);
          }
          Object value = vals.getPosPrevious(pos);
          if (!base.isInstance(value)) return false;
          n++;
        }
      }
    } else {
      if (minOccurs > 1 || maxOccurs == 0) return false;
      return base.isInstance(obj);
    }
  }

  public void emitTestIf(Variable incoming, Declaration decl, Compilation comp) {
    CodeAttr code = comp.getCode();
    if (incoming != null) code.emitLoad(incoming);
    if (decl != null) {
      code.emitDup();
      decl.compileStore(comp);
    }
    comp.compileConstant(this);
    code.emitSwap();
    code.emitInvokeVirtual(isInstanceMethod);
    code.emitIfIntNotZero();
  }

  public void emitIsInstance(Variable incoming, Compilation comp, Target target) {
    gnu.kawa.reflect.InstanceOf.emitIsInstance(this, incoming, comp, target);
  }

  public Expression convertValue(Expression value) {
    return null;
  }

  public Procedure getConstructor() {
    return null;
  }

  /**
   * Return a conservative estimage on the min/max number of items of a type.
   *
   * @return {@code maxCount << 12 | minCount & 0xFFF}, where a {@code maxCount} of -1 means
   *     unbounded.
   */
  public static int itemCountRange(Type type) {
    if (type instanceof SingletonType) return (1 << 12) | 1;
    if (type instanceof OccurrenceType) {
      OccurrenceType occ = (OccurrenceType) type;
      int min = occ.minOccurs();
      int max = occ.maxOccurs();
      int bnum = itemCountRange(occ.getBase());
      if ((min == 1 && max == 1) || bnum == 0) return bnum;
      if (max > 0xfffff) max = -1;
      if (max == 0) return 0;
      int bmin = bnum & 0xfff;
      int bmax = bnum >> 12;
      if (bnum != 0x1001) {
        if (min > 0xfff) min = 0xfff;
        min = min * bmin;
        if (min > 0xfff) min = 0xfff;
        if (max < 0 || bmax < 0) max = -1;
        else max = max * bmax;
        if (max > 0xfffff) max = -1;
      }
      return (max << 12) | min;
    }
    if (type instanceof PrimType) return type.isVoid() ? 0 : 0x1001;
    if (type instanceof ArrayType) return 0x1001;
    if (type instanceof ObjectType) {
      int cmp = type.compare(Compilation.typeValues);
      if (cmp == -3) return 0x1001;
    }
    return -1 << 12;
  }

  /**
   * Returna a quantifer kind for a sequence type.
   *
   * @return '0' if type is known to be a void (0-item) type; '1' if type is known to be a
   *     single-item type; '?' if type matches a sequence of 0 or 1 items; '+' if type matches a
   *     sequence of 1 or more items; '*' otherwise.
   */
  public static char itemCountCode(Type type) {
    int num = itemCountRange(type);
    int min = num & 0xFFF;
    int max = num >> 12;
    return max == 0 ? '0' : min == 0 ? (max == 1 ? '?' : '*') : min == 1 && max == 1 ? '1' : '+';
  }

  public static boolean itemCountIsZeroOrOne(Type type) {
    // cute hack for: max == 0 || max == 1.
    return (itemCountRange(type) >> 13) == 0;
  }

  public static boolean itemCountIsOne(Type type) {
    return itemCountRange(type) == 0x1001;
  }

  /** QUery formal semantics "prime type" */
  public static Type itemPrimeType(Type type) {
    while (type instanceof OccurrenceType) type = ((OccurrenceType) type).getBase();
    return itemCountIsOne(type) ? type : SingletonType.instance;
  }

  public void writeExternal(ObjectOutput out) throws IOException {
    out.writeObject(base);
    out.writeInt(minOccurs);
    out.writeInt(maxOccurs);
  }

  public String toString() {
    String b = base.toString();
    boolean parens = b == null || b.indexOf(' ') >= 0;
    StringBuffer sbuf = new StringBuffer();
    if (parens) sbuf.append('(');
    sbuf.append(b);
    if (parens) sbuf.append(')');
    if (minOccurs == 1 && maxOccurs == 1) ;
    else if (minOccurs == 0 && maxOccurs == 1) sbuf.append('?');
    else if (minOccurs == 1 && maxOccurs == -1) sbuf.append('+');
    else if (minOccurs == 0 && maxOccurs == -1) sbuf.append('*');
    else {
      sbuf.append('{');
      sbuf.append(minOccurs);
      sbuf.append(',');
      if (maxOccurs >= 0) sbuf.append(maxOccurs);
      else sbuf.append('*');
      sbuf.append('}');
    }
    return sbuf.toString();
  }

  public void readExternal(ObjectInput in) throws IOException, ClassNotFoundException {
    base = (Type) in.readObject();
    minOccurs = in.readInt();
    maxOccurs = in.readInt();
  }

  public static final ClassType typeOccurrenceType =
      ClassType.make("gnu.kawa.reflect.OccurrenceType");
  static final Method isInstanceMethod = typeOccurrenceType.getDeclaredMethod("isInstance", 1);
}