ProcessSignatureImpl (CZT Corejava Circus 1.6-SNAPSHOT API)

java.lang.Object
- net.sourceforge.czt.base.impl.TermImpl
- - net.sourceforge.czt.circus.impl.CircusSignatureImpl
  - - net.sourceforge.czt.circus.impl.ProcessSignatureImpl

All Implemented Interfaces:

Term, CircusSignature, ProcessSignature
```
public class ProcessSignatureImpl
extends CircusSignatureImpl
implements ProcessSignature
```
An implementation of the interface ProcessSignature.

Author:

GnAST version 1.6-SNAPSHOT

Field Summary
- Fields inherited from interface net.sourceforge.czt.circus.ast.ProcessSignature
  ACTION_SIGNATURES_INDEX, FORMAL_PARAMS_INDEX, LOCALZ_SIGNATURES_INDEX, MAIN_SIGNATURES_INDEX, PROCESS_SIGNATURES_INDEX, STATE_SIGNATURE_INDEX

Constructor Summary

Constructors
Modifier Constructor and Description

protected ProcessSignatureImpl()
The default constructor.

protected ProcessSignatureImpl(BaseFactory factory)

Constructors
Modifier	Constructor and Description
`protected`	`ProcessSignatureImpl()` The default constructor.
`protected`	`ProcessSignatureImpl(BaseFactory factory)`

Method Summary

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`<R> R`	`accept(Visitor<R> v)` Accepts a visitor.
`protected <K,V> void`	`addToMapAndCheckConsistency(Map<K,V> map, K key, V value)` Add the given key/value pair to the given map, raising an error in case of duplicates.
`static boolean`	`countingFinaliser()` public attribute determining whether to log to the standard output information about who is creating this instance of ProcessSignatureImpl (e.g., ic >= sl)
`ProcessSignatureImpl`	`create(Object[] args)` Returns a new object of this class.
`boolean`	`equals(Object obj)` Compares the specified object with this ProcessSignatureImpl for equality.
`protected ZName`	`fullQualifiedName(ZName procName, ZName actionName)` For a process P and action A, their fully qualified name is "P_LxCy.A", where x and y are the line and column numbers from LocAnn associated with P.
`Map<ZName,ActionSignatureList>`	`getActions()` This is a convenience method.
`ActionSignatureList`	`getActionSignatures()` This is a convenience method.
`ZSignatureList`	`getBasicProcessLocalZSignatures()` This is a convenience method.
`CallUsage`	`getCallUsage()` Returns the CallUsage element.
`Object[]`	`getChildren()`
`CircusChannelSetList`	`getCircusProcessChannelSets()` This is a convenience method.
`Signature`	`getFormalParamsOrIndexes()` This is a convenience method.
`ZNameList`	`getGenFormals()` Returns the GenFormals element.
`Map<ZName,ZSignatureList>`	`getLocalZSignatures()` This is a convenience method.
`ZSignatureList`	`getMainSignatures()` This is a convenience method.
`ChannelSetList`	`getProcessChannelSets()` Returns the ProcessChannelSets element.
`Name`	`getProcessName()` This is a convenience method for getName.
`ProcessSignatureList`	`getProcessSignatures()` This is a convenience method.
`ZName`	`getProcessZName()` This is a convenience method.
`ListTerm<SignatureList>`	`getSignatureList()` Returns the SignatureList elements.
`Signature`	`getStateSignature()` This is a convenience method.
`StateUpdate`	`getStateUpdate()` Returns the StateUpdate element.
`Map<ZName,Signature>`	`getUsedChannels()` This is a convenience method.
`List<NameTypePair>`	`getUsedChannelsAsList()`
`Map<ZName,CircusChannelSetList>`	`getUsedChannelSets()` This is a convenience method.
`List<ChannelSet>`	`getUsedChannelSetsAsList()`
`Map<ZName,CircusCommunicationList>`	`getUsedCommunications()` This is a convenience method.
`List<Communication>`	`getUsedCommunicationsAsList()`
`Map<ZName,CircusNameSetList>`	`getUsedNameSets()` This is a convenience method.
`List<NameSet>`	`getUsedNameSetsAsList()`
`int`	`hashCode()` Returns the hash code value for this ProcessSignatureImpl.
`static long`	`instanceCount()` Only concrete classes get the instance count method visible
`static long`	`instancesFinalised()`
`boolean`	`isBasicProcessSignature()` Returns true whether or not this signature is for a basic process or not.
`boolean`	`isEmptyProcessSignature()` Returns true whether or not this signature is empty.
`void`	`setCallUsage(CallUsage callUsage)` Sets the CallUsage element.
`Signature`	`setFormalParamsOrIndexes(Signature sig)` This is a convenience method.
`void`	`setGenFormals(ZNameList genFormals)` Sets the GenFormals element.
`void`	`setProcessChannelSets(ChannelSetList processChannelSets)` Sets the ProcessChannelSets element.
`void`	`setProcessName(Name name)` This is a convenience method for setName(name).
`Signature`	`setStateSignature(Signature sig)` This is a convenience method.
`void`	`setStateUpdate(StateUpdate stateUpdate)` Sets the StateUpdate element.

Methods inherited from class net.sourceforge.czt.circus.impl.CircusSignatureImpl
getName, getZName, setName

Methods inherited from class net.sourceforge.czt.base.impl.TermImpl
annsSize, getAnn, getAnns, getFactory, hasAnn, hasAnn, removeAnn, removeAnn, toString

Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface net.sourceforge.czt.circus.ast.CircusSignature
getName, getZName, setName

Methods inherited from interface net.sourceforge.czt.base.ast.Term
annsSize, getAnn, getAnns, hasAnn, hasAnn, removeAnn, removeAnn

- Constructor Detail
  - ProcessSignatureImpl
```
protected ProcessSignatureImpl()
```
    The default constructor. Do not use it explicitly, unless you are extending this class. If you want to create an instance of this class, please use the object factory.
  - ProcessSignatureImpl
```
protected ProcessSignatureImpl(BaseFactory factory)
```
- Method Detail
  - countingFinaliser
```
public static boolean countingFinaliser()
```
    public attribute determining whether to log to the standard output information about who is creating this instance of ProcessSignatureImpl (e.g., ic >= sl)
  - instancesFinalised
```
public static long instancesFinalised()
```
  - equals
```
public boolean equals(Object obj)
```
    Compares the specified object with this ProcessSignatureImpl for equality. Returns true if and only if the specified object is also a(n) ProcessSignatureImpl and all the getter methods except getAnns return equal objects.
    
    Overrides:
    
    equals in class CircusSignatureImpl
  - hashCode
```
public int hashCode()
```
    Returns the hash code value for this ProcessSignatureImpl.
    
    Overrides:
    
    hashCode in class CircusSignatureImpl
  - accept
```
public <R> R accept(Visitor<R> v)
```
    Accepts a visitor.
    
    Specified by:
    
    accept in interface Term
    
    Overrides:
    
    accept in class CircusSignatureImpl
  - create
```
public ProcessSignatureImpl create(Object[] args)
```
    Returns a new object of this class.
    
    Specified by:
    
    create in interface Term
  - getChildren
```
public Object[] getChildren()
```
    Specified by:
    
    getChildren in interface Term
  - instanceCount
```
public static long instanceCount()
```
    Only concrete classes get the instance count method visible
  - getGenFormals
```
public ZNameList getGenFormals()
```
    Description copied from interface: ProcessSignature
    
    Returns the GenFormals element.
    
    Specified by:
    
    getGenFormals in interface ProcessSignature
    
    Returns:
    
    the GenFormals element.
  - setGenFormals
```
public void setGenFormals(ZNameList genFormals)
```
    Description copied from interface: ProcessSignature
    
    Sets the GenFormals element.
    
    Specified by:
    
    setGenFormals in interface ProcessSignature
    
    Parameters:
    
    genFormals - the GenFormals element.
    
    See Also:
    
    ProcessSignature.getGenFormals()
  - getSignatureList
```
public ListTerm<SignatureList> getSignatureList()
```
    Description copied from interface: ProcessSignature
    
    Returns the SignatureList elements.
    
    To add or remove elements, use the methods provided by the List interface (that's why there is no need for a setter method).
    
    Specified by:
    
    getSignatureList in interface ProcessSignature
    
    Returns:
    
    a list of SignatureList elements.
  - getProcessChannelSets
```
public ChannelSetList getProcessChannelSets()
```
    Description copied from interface: ProcessSignature
    
    Returns the ProcessChannelSets element.
    
    Specified by:
    
    getProcessChannelSets in interface ProcessSignature
    
    Returns:
    
    the ProcessChannelSets element.
  - setProcessChannelSets
```
public void setProcessChannelSets(ChannelSetList processChannelSets)
```
    Description copied from interface: ProcessSignature
    
    Sets the ProcessChannelSets element.
    
    Specified by:
    
    setProcessChannelSets in interface ProcessSignature
    
    Parameters:
    
    processChannelSets - the ProcessChannelSets element.
    
    See Also:
    
    ProcessSignature.getProcessChannelSets()
  - getStateUpdate
```
public StateUpdate getStateUpdate()
```
    Description copied from interface: ProcessSignature
    
    Returns the StateUpdate element.
    
    Specified by:
    
    getStateUpdate in interface ProcessSignature
    
    Returns:
    
    the StateUpdate element.
  - setStateUpdate
```
public void setStateUpdate(StateUpdate stateUpdate)
```
    Description copied from interface: ProcessSignature
    
    Sets the StateUpdate element.
    
    Specified by:
    
    setStateUpdate in interface ProcessSignature
    
    Parameters:
    
    stateUpdate - the StateUpdate element.
    
    See Also:
    
    ProcessSignature.getStateUpdate()
  - getCallUsage
```
public CallUsage getCallUsage()
```
    Description copied from interface: ProcessSignature
    
    Returns the CallUsage element.
    
    Specified by:
    
    getCallUsage in interface ProcessSignature
    
    Returns:
    
    the CallUsage element.
  - setCallUsage
```
public void setCallUsage(CallUsage callUsage)
```
    Description copied from interface: ProcessSignature
    
    Sets the CallUsage element.
    
    Specified by:
    
    setCallUsage in interface ProcessSignature
    
    Parameters:
    
    callUsage - the CallUsage element.
    
    See Also:
    
    ProcessSignature.getCallUsage()
  - getProcessName
```
public Name getProcessName()
```
    Description copied from interface: ProcessSignature
    
    This is a convenience method for getName.
    
    Specified by:
    
    getProcessName in interface ProcessSignature
    
    Returns:
    
    getName()
  - getProcessZName
```
public ZName getProcessZName()
```
    Description copied from interface: ProcessSignature
    
    This is a convenience method. It returns the ZName if getName() is an instance of ZName and throws an UnsupportedAstClassException otherwise. PRE: (getName() instanceof ZName)
    
    Specified by:
    
    getProcessZName in interface ProcessSignature
    
    Returns:
    
    (ZName)getName()
  - setProcessName
```
public void setProcessName(Name name)
```
    Description copied from interface: ProcessSignature
    
    This is a convenience method for setName(name).
    
    Specified by:
    
    setProcessName in interface ProcessSignature
    
    Parameters:
    
    name - the process name
  - getCircusProcessChannelSets
```
public CircusChannelSetList getCircusProcessChannelSets()
```
    Description copied from interface: ProcessSignature
    
    This is a convenience method. It represents the list of used channel sets by non-basic processes, such as parallel and hiding processes. Basic processes always return an empty list. isBasicProcessSignature() is not part of the precondition to simplify the type checking rules for these processes and avoid a chicken-and-egg problem. It returns the CircusChannelSetList if getProcessChannelSets() is an instance of CircusChannelSetList and throws an UnsupportedAstClassException otherwise. PRE: (getProcessChannelSets() instanceof CircusChannelSetList)
    
    Specified by:
    
    getCircusProcessChannelSets in interface ProcessSignature
    
    Returns:
    
    (CircusChannelSetList)getProcessChannelSets()
  - getMainSignatures
```
public ZSignatureList getMainSignatures()
```
    Description copied from interface: ProcessSignature
    
    This is a convenience method. It extract from the list of signature lists the one containing Z Signature objects only. It returns the ZSignatureList if getSignatureList().get(MAIN_SIGNATURES_INDEX) is an instance of ZSignatureList and throws a UnsupportedAstClassException otherwise. PRE: getSignatureList().size() > MAIN_SIGNATURES_INDEX && getSignatureList().get(MAIN_SIGNATURES_INDEX) instanceof ZSignatureList
    
    Specified by:
    
    getMainSignatures in interface ProcessSignature
    
    Returns:
    
    (ZSignatureList)getSignatureList().get(MAIN_SIGNATURES_INDEX)
  - getFormalParamsOrIndexes
```
public Signature getFormalParamsOrIndexes()
```
    Description copied from interface: ProcessSignature
    
    This is a convenience method. It represents the non-null (possibly empty) signature of parameters or indexes of a process. The difference is given by the getUsage() method. It returns the Signature from getMainSignatures().get(FORMAL_PARAMS_INDEX). It may throw a a UnsupportedAstClassException from getMainSignatures(). Parameterised basic processes are represented by a process signature with formal parameters and the basic process signature within getProcessSignatures(); PRE: !isBasicProcessSignature() && getMainSignatures().size() > FORMAL_PARAMS_INDEX
    
    Specified by:
    
    getFormalParamsOrIndexes in interface ProcessSignature
    
    Returns:
    
    getMainSignatures().get(FORMAL_PARAMS_INDEX);
  - setFormalParamsOrIndexes
```
public Signature setFormalParamsOrIndexes(Signature sig)
```
    Description copied from interface: ProcessSignature
    
    This is a convenience method. It sets the given non-null (possibly empty) signature of the formal parameters or indexes signature of this process. It is the same as getMainSignatures().set(FORMAL_PARAMS_INDEX, sig). It may throw a a UnsupportedAstClassException from getMainSignatures(). The result is the old value previously stored (if any). PRE: sig != null && !isBasicProcessSignature() && getMainSignatures().size() > FORMAL_PARAMS_INDEX
    
    Specified by:
    
    setFormalParamsOrIndexes in interface ProcessSignature
    
    Parameters:
    
    sig - new non-null (possibly empty) state signature
    
    Returns:
    
    getMainSignatures().set(FORMAL_PARAMS_INDEX, sig)
  - getStateSignature
```
public Signature getStateSignature()
```
    Description copied from interface: ProcessSignature
    
    This is a convenience method. It represents the non-null (possibly empty, [ | true ]) signature of the basic process state. It returns the Signature from getMainSignatures().get(STATE_SIGNATURE_INDEX). It may throw a UnsupportedAstClassException from getMainSignatures(). Only basic processes can call this method PRE: isBasicProcessSignature() && (getMainSignatures().size() > STATE_SIGNATURE_INDEX)
    
    Specified by:
    
    getStateSignature in interface ProcessSignature
    
    Returns:
    
    getMainSignatures().get(STATE_SIGNATURE_INDEX)
  - setStateSignature
```
public Signature setStateSignature(Signature sig)
```
    Description copied from interface: ProcessSignature
    
    This is a convenience method. It sets the given non-null (possibly empty) signature of the state signature of this basic process. It is the same as getMainSignatures().set(STATE_SIGNATURE_INDEX, sig). It may throw a a UnsupportedAstClassException from getMainSignatures(). The result is the old value previously stored (if any). PRE: sig != null && isBasicProcessSignature() && (getMainSignatures().size() > STATE_SIGNATURE_INDEX)
    
    Specified by:
    
    setStateSignature in interface ProcessSignature
    
    Parameters:
    
    sig - new non-null (possibly empty) state signature
    
    Returns:
    
    getMainSignatures().set(STATE_SIGNATURE_INDEX, sig)
  - getProcessSignatures
```
public ProcessSignatureList getProcessSignatures()
```
    Description copied from interface: ProcessSignature
    
    This is a convenience method. It extract from the list of signature lists the one containing ProcessSignature objects only. It represents the signatures of inner processes of compound processes. So, it determines if a process is basic or not. It returns the ProcessSignature if getSignatureList().get(PROCESS_SIGNATURES_INDEX) is an instance of ProcessSignatureList and throws a UnsupportedAstClassException otherwise. PRE: (getSignatureList().size() > PROCESS_SIGNATURES_INDEX) && (getSignatureList().get(PROCESS_SIGNATURES_INDEX) instanceof ProcessSignatureList)
    
    Specified by:
    
    getProcessSignatures in interface ProcessSignature
    
    Returns:
    
    (ProcessSignatureList)getSignatureList().get(PROCESS_SIGNATURES_INDEX)
  - isBasicProcessSignature
```
public boolean isBasicProcessSignature()
```
    Description copied from interface: ProcessSignature
    
    Returns true whether or not this signature is for a basic process or not. That is, if both the inner process signatures and process channel set lists are empty. All auxiliary methods below with a Map result are always empty when isBasicProcessSignature() is not true. That is to say, only collect action signature information from basic processes.
    
    Specified by:
    
    isBasicProcessSignature in interface ProcessSignature
    
    Returns:
    
    getProcessSignatures().isEmpty() && getCircusProcessChannelSets().isEmpty();
  - isEmptyProcessSignature
```
public boolean isEmptyProcessSignature()
```
    Description copied from interface: ProcessSignature
    
    Returns true whether or not this signature is empty. That is, all elements are empty, and only process name and its generics are ignores on this check.
    
    Specified by:
    
    isEmptyProcessSignature in interface ProcessSignature
    
    Returns:
  - getBasicProcessLocalZSignatures
```
public ZSignatureList getBasicProcessLocalZSignatures()
```
    Description copied from interface: ProcessSignature
    
    This is a convenience method. It extract from the list of signature lists the one containing ZSignatureList objects only. It can only be called for basic processes, and it represents the local Z paragraph signatures within a basic process. It also contains locally declared predicate transformers. It returns the ZSignatureList if getSignatureList().get(LOCALZ_SIGNATURES_INDEX) is an instance of ZSignatureList and throws a UnsupportedAstClassException otherwise. PRE: isBasicProcessSignature() && (getSignatureList().size() > LOCALZ_SIGNATURES_INDEX) && (getSignatureList().get(LOCALZ_SIGNATURES_INDEX) instanceof ZSignatureList)
    
    Specified by:
    
    getBasicProcessLocalZSignatures in interface ProcessSignature
    
    Returns:
    
    (ZSignatureList)getSignatureList().get(LOCALZ_SIGNATURES_INDEX)
  - getActionSignatures
```
public ActionSignatureList getActionSignatures()
```
    Description copied from interface: ProcessSignature
    
    This is a convenience method. It extract from the list of signature lists the one containing ActionSignature objects only. It can only be called for basic processes, and it represents the action signatures within a basic process. It returns the ActionSignatureList if getSignatureList().get(ACTION_SIGNATURES_INDEX) is an instance of ActionSignatureList and throws a UnsupportedAstClassException otherwise. PRE: isBasicProcessSignature() && (getSignatureList().size() > ACTION_SIGNATURES_INDEX) && (getSignatureList().get(ACTION_SIGNATURES_INDEX) instanceof ActionSignatureList)
    
    Specified by:
    
    getActionSignatures in interface ProcessSignature
    
    Returns:
    
    (ActionSignatureList)getSignatureList().get(ACTION_SIGNATURES_INDEX)
  - addToMapAndCheckConsistency
```
protected <K,V> void addToMapAndCheckConsistency(Map<K,V> map,
                                                 K key,
                                                 V value)
```
    Add the given key/value pair to the given map, raising an error in case of duplicates.
    
    Parameters:
    
    map -
    
    key -
    
    value -
  - fullQualifiedName
```
protected ZName fullQualifiedName(ZName procName,
                                  ZName actionName)
```
    For a process P and action A, their fully qualified name is "P_LxCy.A", where x and y are the line and column numbers from LocAnn associated with P.
    
    Parameters:
    
    procName -
    
    actionName -
    
    Returns:
  - getLocalZSignatures
```
public Map<ZName,ZSignatureList> getLocalZSignatures()
```
    Description copied from interface: ProcessSignature
    
    This is a convenience method. It represents the non-null (possibly empty) list of declared local paragraphs within a basic process or across multiple basic processes that are part of a compound process. This method calculates on-the-fly the local paragraphs from all basic processes of this process. If it is an basic process already, only mapping is present. That is, for basic process this is just the process name mapped to its getBasicProcessLocalZSignatures(). For non-basic processes, it maps the process names to a ZSignatureList of each constituent process from getProcessSignatures() that is a basic process, and this is done recursively. A likely implementation could do something as the code below java.util.Map result = new java.util.HashMap(); if (isBasicProcessSignature()) { assert !result.containsKey(getProcessZName()); result.put(getProcessZName(), getBasicProcessLocalZSignatures()); } else { for (net.sourceforge.czt.circus.ast.ProcessSignature pSig : getProcessSignatures()) { for(java.util.Map.Entry entry : pSig.getLocalZSignatures().entrySet()) { assert !result.containsKey(entry.getKey()); result.put(entry.getKey(), entry.getValue()); } } } return result; The getActions() method have a similar pattern but access getActionSignatures() within the ProcessSignature instance
    
    Specified by:
    
    getLocalZSignatures in interface ProcessSignature
  - getActions
```
public Map<ZName,ActionSignatureList> getActions()
```
    Description copied from interface: ProcessSignature
    
    This is a convenience method. It represents the non-null (possibly empty) list of declared actions within a basic process or across multiple basic processes that are part of a compound process. This method calculates on-the-fly the local paragraphs from all basic processes of this process. If it is an basic process already, only mapping is present. That is, for basic process this is just the process name mapped to its getActionSignatures(). For non-basic processes, it maps the process names to a ActionSignatureList of each constituent process from getProcessSignatures() that is a basic process, and this is done recursively.
    
    Specified by:
    
    getActions in interface ProcessSignature
  - getUsedChannels
```
public Map<ZName,Signature> getUsedChannels()
```
    Description copied from interface: ProcessSignature
    
    This is a convenience method. It represents the non-null (possibly empty) list of channel declarations used within this process signature. This method calculates on-the-fly the channels used within all basic process of this processes, if it is a basic process. That is, it maps action name to the signature containing all pairs of channel name to their declared type within this action. It is calculated through getActionSignatures().getUsedChannels() for each action. For compound processes, all signatures from getProcessSignatures() are scanned for getUsedChannels() and added to the resulting map. As different processes may repeat action names, we qualify the map key with the process name. For instance, for a process P and action A, the mapping will have a key "P_LxCy.A", where x and y represent line an column numbers where P is declared in the spec. source. This is just additional information to the user and is non-mandatory, since process names cannot be repeated within a section (and all its parents - i.e., Z global scope). A likely implementation could do something as the code below java.util.Map result = new java.util.HashMap(); if (isBasicProcessSignature()) { for (net.sourceforge.czt.circus.ast.ActionSignature aSig : getActionSignatures()) { assert !result.containsKey(aSig.getActionZName()); result.put(aSig.getActionZName(), aSig.getUsedChannels()); } } else { net.sourceforge.czt.z.ast.ZName procName = getProcessZName(); for (net.sourceforge.czt.circus.ast.ProcessSignature pSig : getProcessSignatures()) { for(java.util.Map.Entry entry : pSig.getUsedChannels().entrySet()) { net.sourceforge.czt.z.ast.ZName newKey = fullQualifiedName(procName, entry.getKey()); assert !result.containsKey(newKey); result.put(newKey, entry.getValue()); } } } return result; The remaining methods have a similar pattern but access different (corresponding) lists within getActionSignatures() for all ProcessSignature instances in getProcessSignatures().
    
    Specified by:
    
    getUsedChannels in interface ProcessSignature
  - getUsedChannelsAsList
```
public List<NameTypePair> getUsedChannelsAsList()
```
    Specified by:
    
    getUsedChannelsAsList in interface ProcessSignature
  - getUsedCommunications
```
public Map<ZName,CircusCommunicationList> getUsedCommunications()
```
    Description copied from interface: ProcessSignature
    
    This is a convenience method. It represents the non-null (possibly empty) list of communications used (without repetition) within this process signature. Note that typechecked communications will have type information annotated to them. Typechecked communication will have a communication type annotation. This includes the channel name with its resolved type (it differs from the declared type if the channel is generic), and it also includes the resolved types for the communication fields. These may be different from the declared channel type. ex: "c: \nat \cross \nat" and "c?x!0" "x \in \nat", which is one dimension of the channel type. This method calculates on-the-fly the channel sets used within all basic process of this processes, if it is a basic process. That is, it maps action name to a list containing all communications used within this action (without repetition). It is calculated through getActionSignatures().getUsedCommunications() for each action. For compound processes, all signatures from getProcessSignatures() are scanned for getUsedCommunications() and added to the resulting map. As different processes may repeat action names, we qualify the map key with the process name. For instance, for a process P and action A, the mapping will have a key "P_LxCy.A", where x and y represent line an column numbers where P is declared in the spec. source. This is just additional information to the user and is non-mandatory, since process names cannot be repeated within a section (and all its parents - i.e., Z global scope).
    
    Specified by:
    
    getUsedCommunications in interface ProcessSignature
  - getUsedCommunicationsAsList
```
public List<Communication> getUsedCommunicationsAsList()
```
    Specified by:
    
    getUsedCommunicationsAsList in interface ProcessSignature
  - getUsedChannelSets
```
public Map<ZName,CircusChannelSetList> getUsedChannelSets()
```
    Description copied from interface: ProcessSignature
    
    This is a convenience method. It represents the non-null (possibly empty) list of channel sets used (without repetition) within this process signature. Note that typechecked channel sets will have type information annotated to them. This method calculates on-the-fly the channel sets used within all basic process of this processes, if it is a basic process. That is, it maps action name to a list containing all channel sets used within this action (without repetition). It is calculated through getActionSignatures().getUsedChannelSets() for each action. For compound processes, all signatures from getProcessSignatures() are scanned for getUsedChannels() and added to the resulting map. As different processes may repeat action names, we qualify the map key with the process name. Note that compound process (i.e. parallel and hiding processes) channel sets ARE NOT present in this map. This map contains only channel sets from basic processes within the compound process AST. For instance, for a process P and action A, the mapping will have a key "P_LxCy.A", where x and y represent line an column numbers where P is declared in the spec. source. This is just additional information to the user and is non-mandatory, since process names cannot be repeated within a section (and all its parents - i.e., Z global scope).
    
    Specified by:
    
    getUsedChannelSets in interface ProcessSignature
  - getUsedChannelSetsAsList
```
public List<ChannelSet> getUsedChannelSetsAsList()
```
    Specified by:
    
    getUsedChannelSetsAsList in interface ProcessSignature
  - getUsedNameSets
```
public Map<ZName,CircusNameSetList> getUsedNameSets()
```
    Description copied from interface: ProcessSignature
    
    This is a convenience method. It represents the non-null (possibly empty) list of name sets used (without repetition) within this process signature. Note that typechecked channel sets will have type information annotated to them. This method calculates on-the-fly the channel sets used within all basic process of this processes, if it is a basic process. That is, it maps action name to a list containing all name sets used within this action (without repetition). It is calculated through getActionSignatures().getUsedNameSets() for each action. For compound processes, all signatures from getProcessSignatures() are scanned for getUsedNameSets() and added to the resulting map. As different processes may repeat action names, we qualify the map key with the process name. For instance, for a process P and action A, the mapping will have a key "P_LxCy.A", where x and y represent line an column numbers where P is declared in the spec. source. This is just additional information to the user and is non-mandatory, since process names cannot be repeated within a section (and all its parents - i.e., Z global scope).
    
    Specified by:
    
    getUsedNameSets in interface ProcessSignature
  - getUsedNameSetsAsList
```
public List<NameSet> getUsedNameSetsAsList()
```
    Specified by:
    
    getUsedNameSetsAsList in interface ProcessSignature

Class ProcessSignatureImpl

Field Summary

Fields inherited from interface net.sourceforge.czt.circus.ast.ProcessSignature

Constructor Summary

Method Summary

Methods inherited from class net.sourceforge.czt.circus.impl.CircusSignatureImpl

Methods inherited from class net.sourceforge.czt.base.impl.TermImpl

Methods inherited from class java.lang.Object

Methods inherited from interface net.sourceforge.czt.circus.ast.CircusSignature

Methods inherited from interface net.sourceforge.czt.base.ast.Term

Constructor Detail

ProcessSignatureImpl

ProcessSignatureImpl

Method Detail

countingFinaliser

instancesFinalised

equals

hashCode

accept

create

getChildren

instanceCount

getGenFormals

setGenFormals

getSignatureList

getProcessChannelSets

setProcessChannelSets

getStateUpdate

setStateUpdate

getCallUsage

setCallUsage

getProcessName

getProcessZName

setProcessName

getCircusProcessChannelSets

getMainSignatures

getFormalParamsOrIndexes

setFormalParamsOrIndexes

getStateSignature

setStateSignature

getProcessSignatures

isBasicProcessSignature

isEmptyProcessSignature

getBasicProcessLocalZSignatures

getActionSignatures

addToMapAndCheckConsistency

fullQualifiedName

getLocalZSignatures

getActions

getUsedChannels

getUsedChannelsAsList

getUsedCommunications

getUsedCommunicationsAsList

getUsedChannelSets

getUsedChannelSetsAsList

getUsedNameSets

getUsedNameSetsAsList