jpov.substitution
Class SubMemberField

java.lang.Object
  jpov.substitution.SubMemberField

All Implemented Interfaces:

Substitution

public class SubMemberField

extends java.lang.Object

implements Substitution

This class implements a substitution of a member field a by a <+ { b |-> c } corresponding to an affectation of a new value for a given instance.

Author:

L. Burdy

Constructor Summary

SubMemberField(IJml2bConfiguration config, IJmlFile fi, JpoInputStream s)
Constructs a substitution

Method Summary

java.lang.String	getInfo() Returns the informations to displayed in the Java view to simulate the substitution
void	save(IJml2bConfiguration config, JpoOutputStream s, IJmlFile jf) Saves the substitution in a .jpo file

Methods inherited from class java.lang.Object

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

Constructor Detail

SubMemberField

public SubMemberField(IJml2bConfiguration config,
                      IJmlFile fi,
                      JpoInputStream s)
               throws java.io.IOException,
                      LoadException

Constructs a substitution

Method Detail

save

public void save(IJml2bConfiguration config,
                 JpoOutputStream s,
                 IJmlFile jf)
          throws java.io.IOException

Description copied from interface: Substitution

Saves the substitution in a .jpo file

Specified by:

save in interface Substitution

Parameters:

config -

s - The output stream corresponding to the file.

jf -

Throws:

java.io.IOException

getInfo

public java.lang.String getInfo()

Description copied from interface: Substitution

Returns the informations to displayed in the Java view to simulate the substitution

Specified by:

getInfo in interface Substitution

Returns:

a string that is displayed with the initial formula corresponding to the goal.