lmf.formula.csp.semantic.declaration
Class CspChannelDeclaration

java.lang.Object
  extended by lmf.formula.csp.semantic.declaration.CspDeclaration
      extended by lmf.formula.csp.semantic.declaration.CspChannelDeclaration

public final class CspChannelDeclaration
extends CspDeclaration

CspChannelDeclaration.

Author:
Joabe Jesus (jbjj@cin.ufpe.br)

Constructor Summary
CspChannelDeclaration(java.lang.String name, CspType type)
           
 
Method Summary
 
Methods inherited from class lmf.formula.csp.semantic.declaration.CspDeclaration
getCspType, getName, getNode, getScopeLevel, setCspType, setName, setNode, setScopeLevel, toString
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

CspChannelDeclaration

public CspChannelDeclaration(java.lang.String name,
                             CspType type)