rtec

type CECCTransition ¶

type CECCTransition struct {
	IfCond    string
	AssEvents []string
}

CECCTransition is used with getCECCTransitionCondition to return results to the template

type Converter ¶

type Converter struct {
	Funcs    []rtedef.EnforcedFunction
	Language string
	// contains filtered or unexported fields
}

Converter is the struct we use to store all functions for conversion (and what we operate from)

func New(language string, serialComposition bool, parallelComposition bool, synthesis bool) (*Converter, error)

func (c *Converter) AddFunction(functionbytes []byte) error

func (c *Converter) ConvertAll(serialComposition bool, parallelComposition bool, synthesis bool) ([]OutputFile, error)

type EnforcedFunction ¶

type EnforcedFunction struct {
	// Interface	string	`xml:"Interface"`
	// Policies	[]string	`xml:"Policy"`
	LUT SelectLUT `xml:"SelectLUT"`
}

type OutputFile ¶

type OutputFile struct {
	Name      string
	Extension string
	Contents  []byte
}

OutputFile is used when returning the converted data from the iec61499

type Recover ¶

type Recover struct {
	Signal string `xml:"Signal"`
	Value  string `xml:"Value"`
}

type Row ¶

type Row struct {
	// XMLName			xml.Name	`xml:"Row"`
	Recovery    string    `xml:"Recovery"`
	RecoveryKey string    `xml:"RecoveryKey"`
	Recovers    []Recover `xml:"Recover"`
}

type SelectLUT ¶

type SelectLUT struct {
	// XMLName		xml.Name	`xml:"SelectLUT"`
	Rows []Row `xml:"Row"`
}

type TemplateData ¶

type TemplateData struct {
	FunctionIndex int
	Functions     []rtedef.EnforcedFunction
}

TemplateData is the structure used to hold data being passed into the templating engine

type VerilogECCTransition ¶

type VerilogECCTransition CECCTransition

VerilogECCTransition is used with getVerilogECCTransitionCondition to return results to the template

type VhdlECCTransition ¶

type VhdlECCTransition CECCTransition

VhdlECCTransition is used with getVhdlECCTransitionCondition to return results to the template