uk.ac.man.cs.rainbow.rapa.data
Interface Argument

All Known Subinterfaces:

Type, Value

All Known Implementing Classes:

Channel

public interface Argument

Marks objects that can be arguments to process/procedure calls. Note that all properly compliant implementations of this interface will also contain a method like the below, but this cannot be specified using Java.

 public ArgumentImplementation subst(GeneralSubstitution s) {
     return (ArgumentImplementation)s.apply(this);
 }
 

Method Summary

void	compatableWith(Argument arg)

Method Detail

compatableWith

public void compatableWith(Argument arg)
                    throws CompatabilityFailure

Throws:

CompatabilityFailure - If you are not allowed to map from this argument to the given one.