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

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


      test.translateDesynthesized(classGen, methodGen);

      if (test instanceof FunctionCall) {
    FunctionCall call = (FunctionCall)test;
    try {
        Type type = call.typeCheck(getParser().getSymbolTable());
        if (type != Type.Boolean) {
      test._falseList.add(il.append(new IFEQ(null)));
        }
    }
    catch (TypeCheckError e) {
View Full Code Here


      (_path != null ? _path.toString() : "null") + ')';
    }
 
    public Type typeCheck(SymbolTable stable) throws TypeCheckError {
  if (_path != null) {
      final Type ptype = _path.typeCheck(stable);
      if (ptype instanceof NodeType) {    // promote to node-set
    _path = new CastExpr(_path, Type.NodeSet);
      }
  }
  return _type = Type.NodeSet; 
View Full Code Here

  super.setParser(parser);
  _left.setParser(parser);
    }
   
    public Type typeCheck(SymbolTable stable) throws TypeCheckError {
  final Type tleft = _left.typeCheck(stable);
  final MethodType ptype = lookupPrimop(stable, "u-",
                new MethodType(Type.Void,
                   tleft));
 
  if (ptype != null) {
      final Type arg1 = (Type) ptype.argsType().elementAt(0);
      if (!arg1.identicalTo(tleft)) {
    _left = new CastExpr(_left, arg1);
      }
      return _type = ptype.resultType();
  }
View Full Code Here

      (_path != null ? _path.toString() : "null") + ')';
    }
 
    public Type typeCheck(SymbolTable stable) throws TypeCheckError {
  if (_path != null) {
      final Type ptype = _path.typeCheck(stable);
      if (ptype instanceof NodeType) {    // promote to node-set
    _path = new CastExpr(_path, Type.NodeSet);
      }
  }
  return _type = Type.NodeSet; 
View Full Code Here

      throw new TypeCheckError(err);
  }

  // The first argument must be a String, or cast to a String
  _base = argument(0);
  Type baseType = _base.typeCheck(stable)
  if (baseType != Type.String)
      _base = new CastExpr(_base, Type.String);

  // The second argument must also be a String, or cast to a String
  _token = argument(1);
  Type tokenType = _token.typeCheck(stable)
  if (tokenType != Type.String)
      _token = new CastExpr(_token, Type.String);

  return _type = Type.Boolean;
    }
View Full Code Here

   
    /**
     * Type checks the 'file' attribute (must be able to convert it to a str).
     */
    public Type typeCheck(SymbolTable stable) throws TypeCheckError {
  final Type type = _filename.typeCheck(stable);
  if (type instanceof StringType == false) {
      _filename = new CastExpr(_filename, Type.String);
  }
  typeCheckContents(stable);
  return Type.Void;
View Full Code Here

  final MethodType ptype =
      lookupPrimop(stable, _fname.getLocalPart(), args);

  if (ptype != null) {
      for (int i = 0; i < n; i++) {
    final Type argType = (Type) ptype.argsType().elementAt(i);
    final Expression exp = (Expression)_arguments.elementAt(i);
    if (!argType.identicalTo(exp.getType())) {
        try {
      _arguments.setElementAt(new CastExpr(exp, argType), i);
        }
        catch (TypeCheckError e) {
      throw new TypeCheckError(this)// invalid conversion
View Full Code Here

      Class extType = null;
      int currConstrDistance = 0;
      for (j = 0; j < nArgs; j++) {
    // Convert from internal (translet) type to external (Java) type
    extType = paramTypes[j];
    final Type intType = (Type)argsType.elementAt(j);
    Object match = _internal2Java.maps(intType, extType);
    if (match != null) {
        currConstrDistance += ((JavaType)match).distance;
    }
    else if (intType instanceof ObjectType) {
View Full Code Here

          if (_namespace_format == NAMESPACE_FORMAT_JAVA
          || _namespace_format == NAMESPACE_FORMAT_PACKAGE)
           hasThisArgument = true;
       
      Expression firstArg = (Expression)_arguments.elementAt(0);
      Type firstArgType = (Type)firstArg.typeCheck(stable);
     
      if (_namespace_format == NAMESPACE_FORMAT_CLASS
          && firstArgType instanceof ObjectType
          && _clazz != null
          && _clazz.isAssignableFrom(((ObjectType)firstArgType).getJavaClass()))
          hasThisArgument = true;
     
      if (hasThisArgument) {
          _thisArgument = (Expression) _arguments.elementAt(0);
          _arguments.remove(0); nArgs--;
        if (firstArgType instanceof ObjectType) {
          _className = ((ObjectType) firstArgType).getJavaClassName();
        }
        else
          throw new TypeCheckError(ErrorMsg.NO_JAVA_FUNCT_THIS_REF, name);       
      }
      }
      else if (_className.length() == 0) {
    /*
     * Warn user if external function could not be resolved.
     * Warning will _NOT_ be issued is the call is properly
     * wrapped in an <xsl:if> or <xsl:when> element. For details
     * see If.parserContents() and When.parserContents()
     */
    final Parser parser = getParser();
    if (parser != null) {
        reportWarning(this, parser, ErrorMsg.FUNCTION_RESOLVE_ERR,
          _fname.toString());
    }
    unresolvedExternal = true;
    return _type = Type.Int;  // use "Int" as "unknown"
      }
  }
 
  final Vector methods = findMethods();
 
  if (methods == null) {
      // Method not found in this class
      throw new TypeCheckError(ErrorMsg.METHOD_NOT_FOUND_ERR, _className + "." + name);
  }

  Class extType = null;
  final int nMethods = methods.size();
  final Vector argsType = typeCheckArgs(stable);

  // Try all methods to identify the best fit
  int bestMethodDistance  = Integer.MAX_VALUE;
  _type = null;                       // reset internal type
  for (int j, i = 0; i < nMethods; i++) {
      // Check if all paramteters to this method can be converted
      final Method method = (Method)methods.elementAt(i);
      final Class[] paramTypes = method.getParameterTypes();
     
      int currMethodDistance = 0;
      for (j = 0; j < nArgs; j++) {
    // Convert from internal (translet) type to external (Java) type
    extType = paramTypes[j];
    final Type intType = (Type)argsType.elementAt(j);
    Object match = _internal2Java.maps(intType, extType);
    if (match != null) {
        currMethodDistance += ((JavaType)match).distance;
    }
    else {
View Full Code Here

     * Update true/false-lists.
     */
    public void translateDesynthesized(ClassGenerator classGen,
               MethodGenerator methodGen)
    {
  Type type = Type.Boolean;
  if (_chosenMethodType != null)
      type = _chosenMethodType.resultType();

  final InstructionList il = methodGen.getInstructionList();
  translate(classGen, methodGen);
View Full Code Here

TOP

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

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.