| Modifier and Type | Field and Description |
|---|---|
| private Expression | |
| private Type | |
| private Expression |
| Access | Constructor and Description |
|---|---|
| public |
| Modifier and Type | Method and Description |
|---|---|
| public void | translate(ClassGenerator classGen, MethodGenerator methodGen)
Overrides com. Translates the document() function call to a call to LoadDocument()'s static method document(). |
| public Type | typeCheck(SymbolTable stable)
Overrides com. Type checks the arguments passed to the document() function. |
| _arg1 | back to summary |
|---|---|
| private Expression _arg1 | |
| _arg1Type | back to summary |
|---|---|
| private Type _arg1Type | |
| _arg2 | back to summary |
|---|---|
| private Expression _arg2 | |
| DocumentCall | back to summary |
|---|---|
| public DocumentCall(QName fname, List<Expression> arguments) Default function call constructor | |
| translate | back to summary |
|---|---|
| public void translate(ClassGenerator classGen, MethodGenerator methodGen) Overrides com. Translates the document() function call to a call to LoadDocument()'s static method document(). | |
| typeCheck | back to summary |
|---|---|
| public Type typeCheck(SymbolTable stable) throws TypeCheckError Overrides com. Type checks the arguments passed to the document() function. The first argument can be any type (we must cast it to a string) and contains the URI of the document | |