harpoon.Analysis.PA2
Class WriteConstraint

java.lang.Object
  jpaul.Constraints.Constraint
      harpoon.Analysis.PA2.WriteConstraint

public class WriteConstraint
extends jpaul.Constraints.Constraint

WriteConstraint

Version:

$Id: WriteConstraint.java,v 1.1 2005/09/01 22:45:21 salcianu Exp $

Author:

Alexandru Salcianu <salcianu@alum.mit.edu>

Field Summary

Fields inherited from class jpaul.Constraints.Constraint

AVG_COST, HIGH_COST, LOW_COST, VERY_LOW_COST

Constructor Summary

WriteConstraint(LVar vd, HField hf, WVar w)

Method Summary

void	action(jpaul.Constraints.SolAccessor sa)
Collection<jpaul.Constraints.Var>	in()
Collection<jpaul.Constraints.Var>	out()
String	toString()

Methods inherited from class jpaul.Constraints.Constraint

cost, rewrite

Methods inherited from class java.lang.Object

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

Constructor Detail

WriteConstraint

public WriteConstraint(LVar vd,
                       HField hf,
                       WVar w)

Method Detail

in

public Collection<jpaul.Constraints.Var> in()

Specified by:

in in class jpaul.Constraints.Constraint

out

public Collection<jpaul.Constraints.Var> out()

Specified by:

out in class jpaul.Constraints.Constraint

action

public void action(jpaul.Constraints.SolAccessor sa)

Specified by:

action in class jpaul.Constraints.Constraint

toString

public String toString()

Overrides:

toString in class Object