jpov.substitution
Class SubInstancesSingle

java.lang.Object
  jpov.substitution.SubInstances
      jpov.substitution.SubInstancesSingle

All Implemented Interfaces:

Substitution

public class SubInstancesSingle

extends jpov.substitution.SubInstances

This class corresponds to the substituion of instances with instances \/ {f} corresponding to an instance creation.

Author:

L. Burdy

Constructor Summary

SubInstancesSingle(IJml2bConfiguration config, IJmlFile fi, JpoInputStream s)
Constructs a substitution for instances

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

SubInstancesSingle

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

Constructs a substitution for instances

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

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

Returns:

a new instance : f