ProcessSignature (CZT Corejava Circus 1.6-SNAPSHOT API)

All Superinterfaces:

CircusSignature, Term

All Known Implementing Classes:

ProcessSignatureImpl
```
public interface ProcessSignature
extends CircusSignature
```
A process signature consists of the process name, possibly empty generic formal parameters, possibly empty formal parameters or indexes, and the channels usage. Generic actuals must be resolved while type checking similarly to Z and ObjectZ (see ClassSignature and oz.TypeChecker).

List[SignatureList] getSignatureList(), where SignatureList can be: + ZSignatureList - list of Z Signature + ActionSignatureList - list of Circus ActionSignature + NameSetSignatureList - list of Circus NameSetSignature + ChannnelSetSignatureList - list of Circus ChannelSetSignature + CommunicationSignatureList - list of Circus CommunicationSignature Methods available: a) List[SignatureList] getSignatureList() = method by GnAST b) ZSignatureList getMainSignatures() = getSignatureList().get(MAIN_SIGNATURES_INDEX); 1) Signature getFormalParamOrIndexes() = getMainSignatures().get(FORMAL_PARAMS_INDEX); 2) Signature getUsedChannels() = getMainSignatures().get(USED_CHANNELS_INDEX); 3) Signature getStateSignature() = getMainSignatures().get(STATE_SIGNATURE_INDEX); c) ZSignatureList getLocalZSignatures() = getSignatureList().get(ZLOCAL_SIGNATURES_INDEX); d) ActionSignatureList getActionSignatures() = getSignatureList().get(ACTION_SIGNATURES_INDEX); e) CommunicationSignatureList getUsedCommunications() = getSignatureList().get(COMM_SIGNATURES_INDEX); f) NameSetSignatureList getUsedNameSets() = getSignatureList().get(NAMESET_SIGNATURES_INDEX); g) ChannelSetSignatureList getUsedChannelSets() = getSignatureList().get(CHANNEL_SIGNATURES_INDEX); h) ProcessSignatureList getProcessSignatures() = getSignatureList().get(PROCESS_SIGNATURES_INDEX); i) boolean isBasicProcess() = getProcessSignatures().isEmpty(); Types not provided by GnAST : NameSetSignatureList : Map[ZName, List[NameSet]] ChannelSetSignatureList : Map[ZName, List[ChannelSet]] CommunicationSignatureList: Map[ZName, List[Communication]] Meaning: GLOBAL_INVAIRNAT: all methods return a non-null value a) access method by GnAST - automatically b) access method by GnAST - manually via vm 1) formal parameters or indexes, depending on getUsage() 2) used channels and their declared types, which could be generic 3) state signature as declared by \circstate\ expressions (i.e., it does not include local variables added to the state) INVARIANT: isBasicProcess() || getStateSignature().isEmpty() (i.e., only basic process can have state signatures, which can be empty) c) list of Z signatures for Z paragraphs, commands, and TransformerPara declared within a basic process (i.e., VarDeclCommand will add variables to the process state scope, but not to the process state signature) INVARIANT: isBasicProcess() || getLocalZSignatures().isEmpty() (i.e., only basic process can have local paragraphs, which can be empty) d) list of Circus ActionSignature for actions declared within a basic process INVARIANT: IF isBasicProcess() THEN !getActionSignatures().isEmpty() ELSE getActionSignatures().isEmpty() (i.e., only basic process can have actions, which cannot be empty because they have at least the main action) e) list of used communications by each action (Map[ZName, List[Communication]]) (i.e., the communications in each pair are annotated as a power type of CommunicationType. CommunicationType contains the instantiated channel type as well as the type of each field, which may be different from the channel type; e.g., suppose that "[X, Y] c \in X \cross Y" and "c.0.1" is used, the communication type is: CommType[c:\arithmos \cross \arithmos; i: \nat; j: \nat]) INVARIANT: isBasicProcess() || getUsedNameSets().isEmpty() (i.e., only basic process can have name sets, which can be empty) f) list of used name sets by each action (Map[ZName, List[NameSet]]) (i.e., the name sets in each pair are annotated as a power type of NameSetType) INVARIANT: isBasicProcess() || getUsedNameSets().isEmpty() (i.e., only basic process can have name sets, which can be empty) g) list of used channel sets by each action (Map[ZName, List[ChannelSet]]) (i.e., the channel sets in each pair are annotated as a power type of ChannelSetType) NOTE: parallel processes can have channel sets, which are mapped to the process name h) list of process signatures related to this process (i.e., a compound processes, ultimatelly formed by basic processes) i) auxiliary method to add invariants (as assertions) to other methods NOTE: Tools that semantically represent all processes as basic process can use the information on getProcessSignatures() to collect all basic process information and build a merged signature according to the Circus refinement calculus. Indexes: MAIN_SIGNATURES_INDEX = 0; FORMAL_PARAMS_INDEX = 0; USED_CHANNELS_INDEX = 1; STATE_SIGNATURE_INDEX = 2; ZLOCAL_SIGNATURES_INDEX = 1; ACTION_SIGNATURES_INDEX = 2; COMM_SIGNATURES_INDEX = 3; PROCESS_SIGNATURES_INDEX= 4; NAMESET_SIGNATURES_INDEX= 5; CHANNEL_SIGNATURES_INDEX= 6; PS: We leave getSignatureList() unbounded to allow further extension with new lists if needed, where minOccurs MUST be at least CHANNEL_SIGNATURES_INDEX=+1 (6) Process channel sets only - INVARIANT: !isBasicProcess() || getProcessChannelSets().isEmpty() (i.e., only parallel processes, which are not basic processes, can have them) Because BasicProcessSignature uses yet another SignatureList, we need more than one SignatureList, so we have a list of signature lists! So, we add through GnAST the following convenience methods:
Author:

GnAST version 1.6-SNAPSHOT

Field Summary

Fields
Modifier and Type	Field and Description
`static int`	`ACTION_SIGNATURES_INDEX`
`static int`	`FORMAL_PARAMS_INDEX` /* Indexes used by access methods below *
`static int`	`LOCALZ_SIGNATURES_INDEX`
`static int`	`MAIN_SIGNATURES_INDEX`
`static int`	`PROCESS_SIGNATURES_INDEX`
`static int`	`STATE_SIGNATURE_INDEX`

Method Summary

All Methods Instance Methods Abstract Methods
Modifier and Type	Method and Description
`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.
`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()`
`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 interface net.sourceforge.czt.circus.ast.CircusSignature
getName, getZName, setName

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

- Field Detail
  - FORMAL_PARAMS_INDEX
```
static final int FORMAL_PARAMS_INDEX
```
    /* Indexes used by access methods below *
    
    See Also:
    
    Constant Field Values
  - STATE_SIGNATURE_INDEX
```
static final int STATE_SIGNATURE_INDEX
```
    See Also:
    
    Constant Field Values
  - MAIN_SIGNATURES_INDEX
```
static final int MAIN_SIGNATURES_INDEX
```
    See Also:
    
    Constant Field Values
  - PROCESS_SIGNATURES_INDEX
```
static final int PROCESS_SIGNATURES_INDEX
```
    See Also:
    
    Constant Field Values
  - ACTION_SIGNATURES_INDEX
```
static final int ACTION_SIGNATURES_INDEX
```
    See Also:
    
    Constant Field Values
  - LOCALZ_SIGNATURES_INDEX
```
static final int LOCALZ_SIGNATURES_INDEX
```
    See Also:
    
    Constant Field Values
- Method Detail
  - getGenFormals
```
ZNameList getGenFormals()
```
    Returns the GenFormals element.
    
    Returns:
    
    the GenFormals element.
  - setGenFormals
```
void setGenFormals(ZNameList genFormals)
```
    Sets the GenFormals element.
    
    Parameters:
    
    genFormals - the GenFormals element.
    
    See Also:
    
    getGenFormals()
  - getSignatureList
```
ListTerm<SignatureList> getSignatureList()
```
    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).
    
    Returns:
    
    a list of SignatureList elements.
  - getProcessChannelSets
```
ChannelSetList getProcessChannelSets()
```
    Returns the ProcessChannelSets element.
    
    Returns:
    
    the ProcessChannelSets element.
  - setProcessChannelSets
```
void setProcessChannelSets(ChannelSetList processChannelSets)
```
    Sets the ProcessChannelSets element.
    
    Parameters:
    
    processChannelSets - the ProcessChannelSets element.
    
    See Also:
    
    getProcessChannelSets()
  - getStateUpdate
```
StateUpdate getStateUpdate()
```
    Returns the StateUpdate element.
    
    Returns:
    
    the StateUpdate element.
  - setStateUpdate
```
void setStateUpdate(StateUpdate stateUpdate)
```
    Sets the StateUpdate element.
    
    Parameters:
    
    stateUpdate - the StateUpdate element.
    
    See Also:
    
    getStateUpdate()
  - getCallUsage
```
CallUsage getCallUsage()
```
    Returns the CallUsage element.
    
    Returns:
    
    the CallUsage element.
  - setCallUsage
```
void setCallUsage(CallUsage callUsage)
```
    Sets the CallUsage element.
    
    Parameters:
    
    callUsage - the CallUsage element.
    
    See Also:
    
    getCallUsage()
  - getProcessName
```
Name getProcessName()
```
    This is a convenience method for getName.
    
    Returns:
    
    getName()
  - getProcessZName
```
ZName getProcessZName()
```
    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)
    
    Returns:
    
    (ZName)getName()
  - setProcessName
```
void setProcessName(Name name)
```
    This is a convenience method for setName(name).
    
    Parameters:
    
    name - the process name
  - getCircusProcessChannelSets
```
CircusChannelSetList getCircusProcessChannelSets()
```
    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)
    
    Returns:
    
    (CircusChannelSetList)getProcessChannelSets()
  - getMainSignatures
```
ZSignatureList getMainSignatures()
```
    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
    
    Returns:
    
    (ZSignatureList)getSignatureList().get(MAIN_SIGNATURES_INDEX)
  - getFormalParamsOrIndexes
```
Signature getFormalParamsOrIndexes()
```
    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
    
    Returns:
    
    getMainSignatures().get(FORMAL_PARAMS_INDEX);
  - setFormalParamsOrIndexes
```
Signature setFormalParamsOrIndexes(Signature sig)
```
    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
    
    Parameters:
    
    sig - new non-null (possibly empty) state signature
    
    Returns:
    
    getMainSignatures().set(FORMAL_PARAMS_INDEX, sig)
  - getStateSignature
```
Signature getStateSignature()
```
    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)
    
    Returns:
    
    getMainSignatures().get(STATE_SIGNATURE_INDEX)
  - setStateSignature
```
Signature setStateSignature(Signature sig)
```
    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)
    
    Parameters:
    
    sig - new non-null (possibly empty) state signature
    
    Returns:
    
    getMainSignatures().set(STATE_SIGNATURE_INDEX, sig)
  - getProcessSignatures
```
ProcessSignatureList getProcessSignatures()
```
    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)
    
    Returns:
    
    (ProcessSignatureList)getSignatureList().get(PROCESS_SIGNATURES_INDEX)
  - isBasicProcessSignature
```
boolean isBasicProcessSignature()
```
    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.
    
    Returns:
    
    getProcessSignatures().isEmpty() && getCircusProcessChannelSets().isEmpty();
  - isEmptyProcessSignature
```
boolean isEmptyProcessSignature()
```
    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.
    
    Returns:
  - getBasicProcessLocalZSignatures
```
ZSignatureList getBasicProcessLocalZSignatures()
```
    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)
    
    Returns:
    
    (ZSignatureList)getSignatureList().get(LOCALZ_SIGNATURES_INDEX)
  - getActionSignatures
```
ActionSignatureList getActionSignatures()
```
    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)
    
    Returns:
    
    (ActionSignatureList)getSignatureList().get(ACTION_SIGNATURES_INDEX)
  - getLocalZSignatures
```
Map<ZName,ZSignatureList> getLocalZSignatures()
```
    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
  - getActions
```
Map<ZName,ActionSignatureList> getActions()
```
    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.
  - getUsedChannels
```
Map<ZName,Signature> getUsedChannels()
```
    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().
  - getUsedChannelsAsList
```
List<NameTypePair> getUsedChannelsAsList()
```
  - getUsedCommunications
```
Map<ZName,CircusCommunicationList> getUsedCommunications()
```
    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).
  - getUsedCommunicationsAsList
```
List<Communication> getUsedCommunicationsAsList()
```
  - getUsedChannelSets
```
Map<ZName,CircusChannelSetList> getUsedChannelSets()
```
    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).
  - getUsedChannelSetsAsList
```
List<ChannelSet> getUsedChannelSetsAsList()
```
  - getUsedNameSets
```
Map<ZName,CircusNameSetList> getUsedNameSets()
```
    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).
  - getUsedNameSetsAsList
```
List<NameSet> getUsedNameSetsAsList()
```

Interface ProcessSignature

Field Summary

Method Summary

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

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

Field Detail

FORMAL_PARAMS_INDEX

STATE_SIGNATURE_INDEX

MAIN_SIGNATURES_INDEX

PROCESS_SIGNATURES_INDEX

ACTION_SIGNATURES_INDEX

LOCALZ_SIGNATURES_INDEX

Method Detail

getGenFormals

setGenFormals

getSignatureList

getProcessChannelSets

setProcessChannelSets

getStateUpdate

setStateUpdate

getCallUsage

setCallUsage

getProcessName

getProcessZName

setProcessName

getCircusProcessChannelSets

getMainSignatures

getFormalParamsOrIndexes

setFormalParamsOrIndexes

getStateSignature

setStateSignature

getProcessSignatures

isBasicProcessSignature

isEmptyProcessSignature

getBasicProcessLocalZSignatures

getActionSignatures

getLocalZSignatures

getActions

getUsedChannels

getUsedChannelsAsList

getUsedCommunications

getUsedCommunicationsAsList

getUsedChannelSets

getUsedChannelSetsAsList

getUsedNameSets

getUsedNameSetsAsList