svg

Documentation

Index

• type Dot
  • func NewDot() *Dot
  • func (d *Dot) AddDirections(dirs ...*net.Direction) *Dot
  • func (d *Dot) AddFlow(flows ...*net.Flow) *Dot
  • func (d *Dot) AddTokenBinds(tbs ...*net.TokenBindDetail) *Dot
  • func (d *Dot) AddTransitions(trans ...*net.Transition) *Dot
  • func (d *Dot) End() string
  • func (d *Dot) StartDot() *Dot
• type NetView
  • func DebugSVG() (nv *NetView)
  • func NewNetView() *NetView
  • func (nv *NetView) SetDot(dot *Dot)

Types

type Dot

type Dot struct {
	*bytes.Buffer
	// contains filtered or unexported fields
}

节点用record表示，节点绑定的令牌用在同一个record里面 变迁用diamond表示，若变迁绑定了令牌，则用图包含变迁和令牌

Dot .

func NewDot

func NewDot() *Dot

NewDot .

func (*Dot) AddDirections

func (d *Dot) AddDirections(dirs ...*net.Direction) *Dot

AddDirections .

func (*Dot) AddFlow

func (d *Dot) AddFlow(flows ...*net.Flow) *Dot

AddFlow .

func (*Dot) AddTokenBinds

func (d *Dot) AddTokenBinds(tbs ...*net.TokenBindDetail) *Dot

AddTokenBinds .

func (*Dot) AddTransitions

func (d *Dot) AddTransitions(trans ...*net.Transition) *Dot

AddTransitions .

func (*Dot) End

func (d *Dot) End() string

End .

func (*Dot) StartDot

func (d *Dot) StartDot() *Dot

StartDot .

type NetView

type NetView struct {
	*template.Template
	Dot  *Dot
	Data struct {
		NetDesc    string
		DotCode    string
		Actions    []string
		ActionDesc map[string]string
	}
}

NetView .

func DebugSVG

func DebugSVG() (nv *NetView)

func NewNetView

func NewNetView() *NetView

NewNetView .

func (*NetView) SetDot

func (nv *NetView) SetDot(dot *Dot)

SetDot .