Package org.apache.xalan.xsltc.compiler.util

Examples of org.apache.xalan.xsltc.compiler.util.Type

233
234
235
236
237
238
239
240
241
242
243
     * at compile time if its type is number or not. Hence, expressions of
     * reference type are always converted to booleans.
     */
    public Type typeCheck(SymbolTable stable) throws TypeCheckError {

  Type texp = _exp.typeCheck(stable);

  // We need explicit type information for reference types - no good!
  if (texp instanceof ReferenceType) {
      _exp = new CastExpr(_exp, texp = Type.Real);
  }
View Full Code Here
443
444
445
446
447
448
449
450
451
452
453
454
  if (_exp instanceof EqualityExpr) {
      EqualityExpr exp = (EqualityExpr)_exp;
      Expression left = exp.getLeft();
      Expression right = exp.getRight();

      Type tleft = left.getType();
      Type tright = right.getType();

     
      if (left instanceof CastExpr) left = ((CastExpr)left).getExpr();
      if (right instanceof CastExpr) right = ((CastExpr)right).getExpr();
     
View Full Code Here
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
  final int length = (_closureVars == null) ? 0 : _closureVars.size();

  for (int i = 0; i < length; i++) {
      VariableRefBase varRef = (VariableRefBase) _closureVars.get(i);
      VariableBase var = varRef.getVariable();
      Type varType = var.getType();

      il.append(DUP);

      // Find nearest closure implemented as an inner class
      Closure variableClosure = _parentClosure;
      while (variableClosure != null) {
    if (variableClosure.inInnerClass()) break;
    variableClosure = variableClosure.getParentClosure();
      }

      // Use getfield if in an inner class
      if (variableClosure != null) {
    il.append(ALOAD_0);
    il.append(new GETFIELD(
        cpg.addFieldref(variableClosure.getInnerClassName(),
      var.getVariable(), varType.toSignature())));
      }
      else {
    // Use a load of instruction if in translet class
    il.append(var.loadInstruction());
      }

      // Store variable in new closure
      il.append(new PUTFIELD(
        cpg.addFieldref(_className, var.getVariable(),
      varType.toSignature())));
  }
    }
View Full Code Here
82
83
84
85
86
87
88
89
90
91
92
  super(fname, arguments);
  _entity = argument();
    }

    public Type typeCheck(SymbolTable stable) throws TypeCheckError {
  final Type entity = _entity.typeCheck(stable);
  if (entity instanceof StringType == false) {
      _entity = new CastExpr(_entity, Type.String);
  }
  return _type = Type.String;
    }
View Full Code Here
143
144
145
146
147
148
149
150
151
152
153
  // Get the sort data type; default is text
  val = getAttribute("data-type");
  if (val.length() == 0) {
      try {
    final Type type = _select.typeCheck(parser.getSymbolTable());
    if (type instanceof IntType)
        val = "number";
    else
        val = "text";
      }
View Full Code Here
168
169
170
171
172
173
174
175
176
177
178
    /**
     * Run type checks on the attributes; expression must return a string
     * which we will use as a sort key
     */
    public Type typeCheck(SymbolTable stable) throws TypeCheckError {
  final Type tselect = _select.typeCheck(stable);

  // If the sort data-type is not set we use the natural data-type
  // of the data we will sort
  if (!(tselect instanceof StringType)) {
      _select = new CastExpr(_select, Type.String);
View Full Code Here
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
  // Initialize closure in record class
  final int ndups = dups.size();
  for (int i = 0; i < ndups; i++) {
      final VariableRefBase varRef = (VariableRefBase) dups.get(i);
      final VariableBase var = varRef.getVariable();
      final Type varType = var.getType();
     
      il.append(DUP);

      // Get field from factory class
      il.append(ALOAD_0);
      il.append(new GETFIELD(
    cpg.addFieldref(className,
        var.getEscapedName(), varType.toSignature())));

      // Put field in record class
      il.append(new PUTFIELD(
    cpg.addFieldref(sortRecordClass,
        var.getEscapedName(), varType.toSignature())));
  }
  il.append(POP);
  il.append(ARETURN);

  constructor.setMaxLocals();
View Full Code Here
93
94
95
96
97
98
99
100
101
102
103
     * is needed for expressions like $x where $x is a parameter reference.
     * All optimizations are turned off before type checking underlying
     * predicates.
     */
    public Type typeCheck(SymbolTable stable) throws TypeCheckError {
  Type ptype = _primary.typeCheck(stable);
        boolean canOptimize = _primary instanceof KeyCall;

  if (ptype instanceof NodeSetType == false) {
      if (ptype instanceof ReferenceType)  {
    _primary = new CastExpr(_primary, Type.NodeSet);
View Full Code Here
120
121
122
123
124
125
126
127
128
129
130
     * Type-check either the select attribute or the element body, depending
     * on which is in use.
     */
    public Type typeCheck(SymbolTable stable) throws TypeCheckError {
  if (_select != null) {
      final Type tselect = _select.typeCheck(stable);
      if (tselect instanceof ReferenceType == false) {
    _select = new CastExpr(_select, Type.Reference);
      }
  }
  else {
View Full Code Here
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
    /**
     * Type-check this expression, and possibly child expressions.
     */
    public Type typeCheck(SymbolTable stable) throws TypeCheckError {
  // Get the left and right operand types
  Type tleft = _left.typeCheck(stable);
  Type tright = _right.typeCheck(stable);

  // Check if the operator supports the two operand types
  MethodType wantType = new MethodType(Type.Void, tleft, tright);
  MethodType haveType = lookupPrimop(stable, Ops[_op], wantType);

  // Yes, the operation is supported
  if (haveType != null) {
      // Check if left-hand side operand must be type casted
      Type arg1 = (Type)haveType.argsType().elementAt(0);
      if (!arg1.identicalTo(tleft))
    _left = new CastExpr(_left, arg1);
      // Check if right-hand side operand must be type casted
      Type arg2 = (Type) haveType.argsType().elementAt(1);
      if (!arg2.identicalTo(tright))
    _right = new CastExpr(_right, arg1);
      // Return the result type for the operator we will use
      return _type = haveType.resultType();
  }
  throw new TypeCheckError(this);
View Full Code Here
TOP

Related Classes of org.apache.xalan.xsltc.compiler.util.Type

  • org.apache.xalan.xsltc.compiler.AbsoluteLocationPath
  • org.apache.xalan.xsltc.compiler.ApplyImports
  • org.apache.xalan.xsltc.compiler.ApplyTemplates
  • org.apache.xalan.xsltc.compiler.BinOpExpr
  • org.apache.xalan.xsltc.compiler.BooleanCall
  • org.apache.xalan.xsltc.compiler.CastCall
  • org.apache.xalan.xsltc.compiler.CastExpr
  • org.apache.xalan.xsltc.compiler.Choose
  • org.apache.xalan.xsltc.compiler.ContainsCall
  • org.apache.xalan.xsltc.compiler.CopyOf
    • Copyright © 2018 www.massapicom. All rights reserved.
    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.