csp

Documentation

Index

• type CSP
  • func (c *CSP) ConfigureProcessBehaviours(madl madl.MADL)
• type CSPGenerator
  • func NewCSPGenerator() CSPGenerator
• type CSPGeneratorImpl
  • func (g CSPGeneratorImpl) Generate(madl madl.MADL) CSP
  • func (CSPGeneratorImpl) Save(c CSP)
• type CompositionProcess
• type FDRGateway
  • func NewFDRGateway() FDRGateway
• type FDRGatewayImpl
  • func (FDRGatewayImpl) Check(csp CSP)
• type Renaming

Types

type CSP

type CSP struct {
	CompositionName string
	Datatype        []string
	IChannels       []string
	EChannels       []string
	CompProcesses   map[string]string
	ConnProcesses   map[string]string
	Composition     CompositionProcess
	Property        []string
}

func (*CSP) ConfigureProcessBehaviours

func (c *CSP) ConfigureProcessBehaviours(madl madl.MADL)

type CSPGenerator

type CSPGenerator interface {
	Generate(madl.MADL) CSP
	Save(CSP)
}

func NewCSPGenerator

func NewCSPGenerator() CSPGenerator

type CSPGeneratorImpl

type CSPGeneratorImpl struct {
}

func (CSPGeneratorImpl) Generate

func (g CSPGeneratorImpl) Generate(madl madl.MADL) CSP

func (CSPGeneratorImpl) Save

func (CSPGeneratorImpl) Save(c CSP)

type CompositionProcess

type CompositionProcess struct {
	Components    []string
	Connectors    []string
	SyncPorts     []string
	RenamingPorts map[string][]Renaming
}

type FDRGateway

type FDRGateway interface {
	Check(CSP)
}

func NewFDRGateway

func NewFDRGateway() FDRGateway

type FDRGatewayImpl

type FDRGatewayImpl struct{}

func (FDRGatewayImpl) Check

func (FDRGatewayImpl) Check(csp CSP)

type Renaming

type Renaming struct {
	OldName string
	NewName string
}