contracts

type BinaryOp struct {
	// OpToken gives information about particular binary operation.
	// E.g. '+' can be used with integers and strings, '-' can not be used with strings.
	// As long as the operands are compatible with the operation, the contract holds.
	OpToken token.Token `json:"optoken"`
	// Z = X op Y
	X            typevars.Interface `json:"x"`
	Y            typevars.Interface `json:"y"`
	Z            typevars.Interface `json:"z"`
	ExpectedType gotypes.DataType   `json:"expectedtype"`
	Pos          string             `json:"pos"`
}

type Contract interface {
	GetType() Type
}

type DereferenceOf struct {
	X   typevars.Interface `json:"x"`
	Y   typevars.Interface `json:"y"`
	Pos string             `json:"pos"`
}

type HasField struct {
	X     typevars.Interface `json:"x"`
	Field string             `json:"field"`
	Index int                `json:"index"`
	Pos   string             `json:"pos"`
}

type IsCompatibleWith struct {
	X            typevars.Interface `json:"x"`
	Y            typevars.Interface `json:"y"`
	ExpectedType gotypes.DataType   `json:"expectedtype"`
	// As long as MapKey is compatible with integer, it is compatible with ListKey as well
	// TODO(jchaloup): make sure this principle is applied during the compatibility analysis
	Weak bool   `json:"weak"`
	Pos  string `json:"pos"`
}

type IsDereferenceable struct {
	X   typevars.Interface `json:"x"`
	Pos string             `json:"pos"`
}

type IsIncDecable struct {
	X   typevars.Interface `json:"x"`
	Pos string             `json:"pos"`
}

type IsIndexable struct {
	X       typevars.Interface `json:"x"`
	Key     typevars.Interface `json:"key"`
	IsSlice bool               `json:"isslice"`
	Pos     string             `json:"pos"`
}

type IsInvocable struct {
	F         typevars.Interface `json:"f"`
	ArgsCount int                `json:"argscount"`
	Pos       string             `json:"pos"`
}

type IsRangeable struct {
	X   typevars.Interface `json:"x"`
	Pos string             `json:"pos"`
}

type IsReceiveableFrom struct {
	X            typevars.Interface `json:"x"`
	Y            typevars.Interface `json:"y"`
	ExpectedType gotypes.DataType   `json:"expectedtype"`
	Pos          string             `json:"pos"`
}

type IsReferenceable struct {
	X   typevars.Interface `json:"x"`
	Pos string             `json:"pos"`
}

type IsSendableTo struct {
	X   typevars.Interface `json:"x"`
	Y   typevars.Interface `json:"y"`
	Pos string             `json:"pos"`
}

type PropagatesTo struct {
	X            typevars.Interface `json:"x"`
	Y            typevars.Interface `json:"y"`
	ExpectedType gotypes.DataType   `json:"expectedtype"`
	ToVariable   bool               `json:"tovariable"`
	Pos          string             `json:"pos"`
}

type ReferenceOf struct {
	X   typevars.Interface `json:"x"`
	Y   typevars.Interface `json:"y"`
	Pos string             `json:"pos"`
}

type Type string

type TypecastsTo struct {
	X            typevars.Interface `json:"x"`
	Type         typevars.Interface `json:"castedtype"`
	Y            typevars.Interface `json:"y"`
	ExpectedType gotypes.DataType   `json:"expectedtype"`
	Pos          string             `json:"pos"`
}

type UnaryOp struct {
	OpToken token.Token `json:"optoken"`
	// Y = op X
	X            typevars.Interface `json:"x"`
	Y            typevars.Interface `json:"y"`
	ExpectedType gotypes.DataType   `json:"expectedtype"`
	Pos          string             `json:"pos"`
}