net_ns

Documentation

Index

• Variables
• type TcpConn
  • func (conn *TcpConn) GetGoMethod(name string) (*symbolic.GoFunction, bool)
  • func (conn *TcpConn) IsMutable() bool
  • func (r *TcpConn) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig)
  • func (conn *TcpConn) Prop(name string) symbolic.Value
  • func (*TcpConn) PropertyNames() []string
  • func (r *TcpConn) Test(v symbolic.Value, state symbolic.RecTestCallState) bool
  • func (r *TcpConn) WidestOfType() symbolic.Value

Variables

var (
	TCP_CONN_PROPNAMES = []string{"read", "write", "close"}
)

Types

type TcpConn

type TcpConn struct {
	symbolic.UnassignablePropsMixin
	// contains filtered or unexported fields
}

func (*TcpConn) GetGoMethod

func (conn *TcpConn) GetGoMethod(name string) (*symbolic.GoFunction, bool)

func (*TcpConn) IsMutable

func (conn *TcpConn) IsMutable() bool

func (*TcpConn) PrettyPrint

func (r *TcpConn) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig)

func (*TcpConn) Prop

func (conn *TcpConn) Prop(name string) symbolic.Value

func (*TcpConn) PropertyNames

func (*TcpConn) PropertyNames() []string

func (*TcpConn) Test

func (r *TcpConn) Test(v symbolic.Value, state symbolic.RecTestCallState) bool

func (*TcpConn) WidestOfType

func (r *TcpConn) WidestOfType() symbolic.Value