*/
public Type typeCheck(SymbolTable stable) throws TypeCheckError {
// At least one argument - two at most
final int ac = argumentCount();
if ((ac < 1) || (ac > 2)) {
ErrorMsg msg = new ErrorMsg(ErrorMsg.ILLEGAL_ARG_ERR, this);
throw new TypeCheckError(msg);
}
if (getStylesheet() == null) {
ErrorMsg msg = new ErrorMsg(ErrorMsg.ILLEGAL_ARG_ERR, this);
throw new TypeCheckError(msg);
}
// Parse the first argument
_arg1 = argument(0);
if (_arg1 == null) {// should not happened
ErrorMsg msg = new ErrorMsg(ErrorMsg.DOCUMENT_ARG_ERR, this);
throw new TypeCheckError(msg);
}
_arg1Type = _arg1.typeCheck(stable);
if ((_arg1Type != Type.NodeSet) && (_arg1Type != Type.String)) {
_arg1 = new CastExpr(_arg1, Type.String);
}
// Parse the second argument
if (ac == 2) {
_arg2 = argument(1);
if (_arg2 == null) {// should not happened
ErrorMsg msg = new ErrorMsg(ErrorMsg.DOCUMENT_ARG_ERR, this);
throw new TypeCheckError(msg);
}
final Type arg2Type = _arg2.typeCheck(stable);
if (arg2Type.identicalTo(Type.Node)) {
_arg2 = new CastExpr(_arg2, Type.NodeSet);
} else if (arg2Type.identicalTo(Type.NodeSet)) {
// falls through
} else {
ErrorMsg msg = new ErrorMsg(ErrorMsg.DOCUMENT_ARG_ERR, this);
throw new TypeCheckError(msg);
}
}
return _type = Type.NodeSet;