LBJ2.infer
Class InvocationArgumentReplacer

java.lang.Object
  LBJ2.infer.ArgumentReplacer
      LBJ2.infer.InvocationArgumentReplacer

public abstract class InvocationArgumentReplacer
extends ArgumentReplacer

Anonymous inner classes extending this class are instantiated by the code generated by the LBJ compiler when creating QuantifiedConstraintInvocation representations. Its lone method computes the value of the constraint invocation's parameter.

Field Summary

Fields inherited from class LBJ2.infer.ArgumentReplacer

context, quantificationVariables

Constructor Summary

InvocationArgumentReplacer(java.lang.Object[] c)
Initializing constructor.

Method Summary

abstract java.lang.Object

compute() Computes the value of the constraint invocation's parameter.

Methods inherited from class LBJ2.infer.ArgumentReplacer

setQuantificationVariables

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

InvocationArgumentReplacer

public InvocationArgumentReplacer(java.lang.Object[] c)

Initializing constructor.

Parameters:

c - The context of the corresponding quantified constraint invocation, except for quantification variables.

Method Detail

compute

public abstract java.lang.Object compute()

Computes the value of the constraint invocation's parameter.

Returns:

The value of the constraint invocation's parameter.