Java Code Examples for com.sun.org.apache.xalan.internal.xsltc.compiler.util.Type#Void

/**
 * Type-checks the parameter. The parameter type is determined by the
 * 'select' expression (if present) or is a result tree if the parameter
 * element has a body and no 'select' expression.
 */
public Type typeCheck(SymbolTable stable) throws TypeCheckError {
    if (_select != null) {
        _type = _select.typeCheck(stable);
        if (_type instanceof ReferenceType == false && !(_type instanceof ObjectType)) {
            _select = new CastExpr(_select, Type.Reference);
        }
    }
    else if (hasContents()) {
        typeCheckContents(stable);
    }
    _type = Type.Reference;

    // This element has no type (the parameter does, but the parameter
    // element itself does not).
    return Type.Void;
}
 

/**
 * Type check the contents of this element
 */
public Type typeCheck(SymbolTable stable) throws TypeCheckError {

    if (_ignore) return (Type.Void);

    // _mergeSet Point to any previous definition of this attribute set
    _mergeSet = stable.addAttributeSet(this);

    _method = AttributeSetPrefix + getXSLTC().nextAttributeSetSerial();

    if (_useSets != null) _useSets.typeCheck(stable);
    typeCheckContents(stable);
    return Type.Void;
}
 

/**
 * Type-check the "test" expression and contents of this element.
 * The contents will be ignored if we know the test will always fail.
 */
public Type typeCheck(SymbolTable stable) throws TypeCheckError {
    // Type-check the "test" expression
    if (_test.typeCheck(stable) instanceof BooleanType == false) {
        _test = new CastExpr(_test, Type.Boolean);
    }
    // Type check the element contents
    if (!_ignore) {
        typeCheckContents(stable);
    }
    return Type.Void;
}
 

/**
 * 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 {
        typeCheckContents(stable);
    }
    return Type.Void;
}
 

public Type typeCheck(SymbolTable stable) throws TypeCheckError {
    // Type check match pattern
    _match.typeCheck(stable);

    // Cast node values to string values (except for nodesets)
    _useType = _use.typeCheck(stable);
    if (_useType instanceof StringType == false &&
        _useType instanceof NodeSetType == false)
    {
        _use = new CastExpr(_use, Type.String);
    }

    return Type.Void;
}
 

/**
 * Type-check the "test" expression and contents of this element.
 * The contents will be ignored if we know the test will always fail.
 */
public Type typeCheck(SymbolTable stable) throws TypeCheckError {
    // Type-check the "test" expression
    if (_test.typeCheck(stable) instanceof BooleanType == false) {
        _test = new CastExpr(_test, Type.Boolean);
    }
    // Type check the element contents
    if (!_ignore) {
        typeCheckContents(stable);
    }
    return Type.Void;
}
 

public Type typeCheck(SymbolTable stable) throws TypeCheckError {
    if (!_ignore) {
        _name.typeCheck(stable);
        if (_namespace != null) {
            _namespace.typeCheck(stable);
        }
        typeCheckContents(stable);
    }
    return Type.Void;
}
 

public Type typeCheck(SymbolTable stable) throws TypeCheckError {
    // Type check match pattern
    _match.typeCheck(stable);

    // Cast node values to string values (except for nodesets)
    _useType = _use.typeCheck(stable);
    if (_useType instanceof StringType == false &&
        _useType instanceof NodeSetType == false)
    {
        _use = new CastExpr(_use, Type.String);
    }

    return Type.Void;
}
 

/**
 * Call typeCheck() on all child syntax tree nodes.
 * @param stable The compiler/parser's symbol table
 */
protected Type typeCheckContents(SymbolTable stable) throws TypeCheckError {
    final int n = elementCount();
    for (int i = 0; i < n; i++) {
        SyntaxTreeNode item = (SyntaxTreeNode)_contents.elementAt(i);
        item.typeCheck(stable);
    }
    return Type.Void;
}
 

/**
 * Type-check the "test" expression and contents of this element.
 * The contents will be ignored if we know the test will always fail.
 */
public Type typeCheck(SymbolTable stable) throws TypeCheckError {
    // Type-check the "test" expression
    if (_test.typeCheck(stable) instanceof BooleanType == false) {
        _test = new CastExpr(_test, Type.Boolean);
    }
    // Type check the element contents
    if (!_ignore) {
        typeCheckContents(stable);
    }
    return Type.Void;
}
 

/**
 * 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;
}
 

/**
 * Type-check the attributes/contents of an <xsl:apply-imports/> element.
 */
public Type typeCheck(SymbolTable stable) throws TypeCheckError {
    typeCheckContents(stable);              // with-params
    return Type.Void;
}
 

public Type typeCheck(SymbolTable stable) throws TypeCheckError {
    _name.typeCheck(stable);
    typeCheckContents(stable);
    return Type.Void;
}
 

/**
 * No type check needed for the <xsl:decimal-formatting/> element
 */
public Type typeCheck(SymbolTable stable) throws TypeCheckError {
    return Type.Void;
}
 

public Type typeCheck(SymbolTable stable) throws TypeCheckError {
    return Type.Void;
}
 

public Type typeCheck(SymbolTable stable) throws TypeCheckError {
    _value.typeCheck(stable);
    typeCheckContents(stable);
    return Type.Void;
}
 

/**
 * Do nada.
 */
public Type typeCheck(SymbolTable stable) throws TypeCheckError {
    return Type.Void;
}
 

public Type typeCheck(SymbolTable stable) throws TypeCheckError {
    _name.typeCheck(stable);
    typeCheckContents(stable);
    return Type.Void;
}
 

public Type typeCheck(SymbolTable stable) throws TypeCheckError {
    return Type.Void;
}
 

/**
 * Do nada.
 */
public Type typeCheck(SymbolTable stable) throws TypeCheckError {
    return Type.Void;
}