org.xmloperator.lambda.net.model
Interface Delimiter

All Superinterfaces:
IndexedOperator, Operator

public interface Delimiter
extends IndexedOperator

Delimiter in a lambda-net.


Field Summary
 
Fields inherited from interface org.xmloperator.lambda.net.model.Operator
INTERACTION_ANNIHILATE_DELIMITER, INTERACTION_ANNIHILATE_DUPLICATOR, INTERACTION_ANNIHILATE_ERASER, INTERACTION_BETA_IDENTITY, INTERACTION_BETA_REDUCTION, INTERACTION_COMMUTE_DELIMITER, INTERACTION_COMMUTE_DUPLICATOR, INTERACTION_DUPLICATE_ABSTRACTOR, INTERACTION_DUPLICATE_APPLICATOR, INTERACTION_DUPLICATE_IDENTITY, INTERACTION_ERASE_ABSTRACTOR, INTERACTION_ERASE_APPLICATOR, INTERACTION_ERASE_DELIMITER, INTERACTION_ERASE_DUPLICATOR, INTERACTION_ERASE_IDENTITY, INTERACTION_EXTRUDE_ABSTRACTOR, INTERACTION_EXTRUDE_APPLICATOR, INTERACTION_EXTRUDE_CLOSED_ABSTRACTOR, INTERACTION_EXTRUDE_DUPLICATOR, INTERACTION_EXTRUDE_IDENTITY, INTERACTION_TYPE_COUNT, INTERACTION_TYPE_NAMES, OPERATOR_TYPE_COUNT, OPERATOR_TYPE_NAMES, TYPE_ABSTRACTOR, TYPE_APPLICATOR, TYPE_DELIMITER, TYPE_DUPLICATOR, TYPE_ERASER
 
Method Summary
 Port getBody()
          Returns its body Port.
 Port getInput()
          Returns its input Port (direction being not inversed).
 ScopeBinder getScopeBinder()
          Returns the ScopeBinder attached to this Abstractor, if any.
 void reverseOrientation()
          Reverse the orientation of the principal Port and clear the index.
 
Methods inherited from interface org.xmloperator.lambda.net.model.IndexedOperator
getIndex, incrementIndex
 
Methods inherited from interface org.xmloperator.lambda.net.model.Operator
canBeReturnedToFactory, cloneOperator, getFactory, getMark, getOperatorType, getPort, getPort0, getPort1, getPort2, getPortCount, interact, isAbstractor, isApplicator, isDelimiter, isDirectionInversed, isDuplicator, isEraser, isReturnedToFactory, returnToFactory, setMark
 

Method Detail

getInput

public Port getInput()
Returns its input Port (direction being not inversed). It is the principal Port if the orientation is reversed, the first auxiliary Port if the orientation is normal.

Returns:
its input Port (direction being not inversed).

getBody

public Port getBody()
Returns its body Port. It is the principal Port if the orientation is normal, the first auxiliary Port if the orientation is reversed. This is an output Port if the direction is not inversed.

Returns:
its body Port.

reverseOrientation

public void reverseOrientation()
Reverse the orientation of the principal Port and clear the index.

Pre-condition: the principal Port is the body Port (this is the normal orientation).

Post-condition: the principal Port is the input Port (this is the reversed orientation).

Throws:
java.lang.IllegalStateException - if the orientation is already reversed.

getScopeBinder

public ScopeBinder getScopeBinder()
Returns the ScopeBinder attached to this Abstractor, if any.

Returns:
the ScopeBinder attached to this Abstractor. May be null.