Module StringConcatenation
Import path
import javascriptPredicates
| getAnOperand | Gets an operand to the string concatenation defining |
| getFirstOperand | Gets the first operand to the string concatenation defining |
| getLastOperand | Gets the last operand to the string concatenation defining |
| getNumOperand | Gets the number of operands to the given concatenation. |
| getOperand | Gets the |
| getRoot | Gets the root of the concatenation tree in which |
| isCoercion | Holds if |
| isRoot | Holds if |
| taintStep | Holds if there is a taint step from |
| taintStep | Holds if |