/** * Copy an expression. This makes a deep copy. * @return the copy of the original expression */ public Expression copy() { QuantifiedExpression qe = new QuantifiedExpression(); qe.setOperator(operator); qe.setVariableQName(variableName); qe.setRequiredType(requiredType); qe.setSequence(sequence.copy()); Expression newAction = action.copy(); qe.setAction(newAction); qe.variableName = variableName; ExpressionTool.rebindVariableReferences(newAction, this, qe); return qe; }
/** * Copy an expression. This makes a deep copy. * @return the copy of the original expression */ public Expression copy() { QuantifiedExpression qe = new QuantifiedExpression(); qe.setOperator(operator); qe.setVariableQName(variableName); qe.setRequiredType(requiredType); qe.setSequence(sequence.copy()); Expression newAction = action.copy(); qe.setAction(newAction); qe.variableName = variableName; ExpressionTool.rebindVariableReferences(newAction, this, qe); return qe; }
/** * Copy an expression. This makes a deep copy. * @return the copy of the original expression */ public Expression copy() { QuantifiedExpression qe = new QuantifiedExpression(); qe.setOperator(operator); qe.setVariableQName(variableName); qe.setRequiredType(requiredType); qe.setSequence(sequence.copy()); Expression newAction = action.copy(); qe.setAction(newAction); qe.variableName = variableName; ExpressionTool.rebindVariableReferences(newAction, this, qe); return qe; }
/** * Copy an expression. This makes a deep copy. * * @return the copy of the original expression * @param rebindings variables that need to be re-bound */ /*@NotNull*/ public Expression copy(RebindingMap rebindings) { QuantifiedExpression qe = new QuantifiedExpression(); ExpressionTool.copyLocationInfo(this, qe); qe.setOperator(operator); qe.setVariableQName(variableName); qe.setRequiredType(requiredType); qe.setSequence(getSequence().copy(rebindings)); Expression newAction = getAction().copy(rebindings); qe.setAction(newAction); qe.variableName = variableName; qe.slotNumber = slotNumber; ExpressionTool.rebindVariableReferences(newAction, this, qe); return qe; }
/** * Copy an expression. This makes a deep copy. * * @return the copy of the original expression * @param rebindings variables that need to be re-bound */ /*@NotNull*/ public Expression copy(RebindingMap rebindings) { QuantifiedExpression qe = new QuantifiedExpression(); ExpressionTool.copyLocationInfo(this, qe); qe.setOperator(operator); qe.setVariableQName(variableName); qe.setRequiredType(requiredType); qe.setSequence(getSequence().copy(rebindings)); Expression newAction = getAction().copy(rebindings); qe.setAction(newAction); qe.variableName = variableName; qe.slotNumber = slotNumber; ExpressionTool.rebindVariableReferences(newAction, this, qe); return qe; }
setSequence(getSequence().unordered(false, false)); RoleDiagnostic role = new RoleDiagnostic(RoleDiagnostic.VARIABLE, getVariableQName().getDisplayName(), 0); setSequence(TypeChecker.strictTypeCheck( getSequence(), sequenceType, role, visitor.getStaticContext())); ItemType actualItemType = getSequence().getItemType();
setSequence(getSequence().unordered(false, false)); RoleDiagnostic role = new RoleDiagnostic(RoleDiagnostic.VARIABLE, getVariableQName().getDisplayName(), 0); setSequence(TypeChecker.strictTypeCheck( getSequence(), sequenceType, role, visitor.getStaticContext())); ItemType actualItemType = getSequence().getItemType();
Expression newSequence = sequence.promote(offer); if (newSequence != null && !ExpressionTool.dependsOnVariable(newSequence, thisVar)) { q0.setSequence(newSequence); selection = new FilterExpression(selection, q0); ExpressionTool.copyLocationInfo(this, selection);
q0.setSequence(newSequence); selection = new FilterExpression(selection, q0); ExpressionTool.copyLocationInfo(this, selection);
Expression newSequence = sequence.promote(offer); if (newSequence != null && !ExpressionTool.dependsOnVariable(newSequence, thisVar)) { q0.setSequence(newSequence); selection = new FilterExpression(selection, q0); ExpressionTool.copyLocationInfo(this, selection);
v.setSequence(parseExprSingle()); declareRangeVariable(v); if (previous != null) {
v.setSequence(parseExprSingle()); declareRangeVariable(v); if (previous != null) {
SequenceType type = SequenceType.makeSequenceType(e0.getItemType(th), StaticProperty.EXACTLY_ONE); qe.setRequiredType(type); qe.setSequence(e0); ExpressionTool.copyLocationInfo(this, qe);
SequenceType type = SequenceType.makeSequenceType(e0.getItemType(th), StaticProperty.EXACTLY_ONE); qe.setRequiredType(type); qe.setSequence(e0); ExpressionTool.copyLocationInfo(this, qe);
SequenceType type = SequenceType.makeSequenceType(e0.getItemType(th), StaticProperty.EXACTLY_ONE); qe.setRequiredType(type); qe.setSequence(e0); ExpressionTool.copyLocationInfo(this, qe);