checker

Documentation

Index

• type TypeChecker
  • func NewTypeChecker() TypeChecker

Types

type TypeChecker

type TypeChecker interface {
	// EvalType produces the type of an expression or an error if the type cannot be evaluated.
	// TODO: we probably want to use a golang type rather than pb.ValueType (a proto).
	EvalType(expr string, finder ast.AttributeDescriptorFinder) (dpb.ValueType, error)

	// AssertType evaluates the type of expr using the attribute set; if the evaluated type is equal to
	// the expected type we return nil, and return an error otherwise.
	AssertType(expr string, finder ast.AttributeDescriptorFinder, expectedType dpb.ValueType) error
}

TypeChecker validates a given expression for type safety.

func NewTypeChecker

func NewTypeChecker() TypeChecker

NewTypeChecker returns a new TypeChecker implementation.