index

type ExportedRule struct {
	RuleName    string
	Attachments []*RuleExportAttachment // names only; values computed at runtime
}

type ExportedShape struct {
	Statement *ast.ShapeExportStatement
	Name      string
}

type Index struct {
	Pack       *pack.PackFile
	Namespaces map[string]*Namespace
	Programs   map[string]*Program
	// contains filtered or unexported fields
}

type Namespace struct {
	Statement    *ast.NamespaceStatement
	FQN          ast.FQN // this is always the FQN
	Parent       *Namespace
	Children     []*Namespace
	Policies     map[string]*Policy
	Shapes       map[string]*Shape // namespace-level shapes
	ShapeExports map[string]*ExportedShape
}

type Policy struct {
	Statement  *ast.PolicyStatement
	Namespace  *Namespace
	Name       string
	FQN        ast.FQN
	FilePath   string
	Statements []ast.Statement

	Title          *string
	Description    *string
	VersionLiteral string
	Version        *semver.Version
	TagPairs       []PolicyTagPair
	// TagsByKey is derived from TagPairs for query ergonomics; map iteration order is not stable.
	TagsByKey map[string][]string

	Lets        map[string]*ast.VarDeclaration
	Facts       map[string]*ast.FactStatement
	Rules       map[string]*Rule
	RuleExports map[string]*ExportedRule
	Uses        map[string]*ast.UseStatement // alias -> use statement
	Shapes      map[string]*Shape            // policy-local shapes
	// contains filtered or unexported fields
}

type PolicyTagPair struct {
	Key   string
	Value string
}

type Program struct {
	Reference    *ast.Program
	Namespace    *ast.NamespaceStatement
	Policies     []*ast.PolicyStatement
	Shapes       []*ast.ShapeStatement
	ShapeExports []*ast.ShapeExportStatement
}

type Rule struct {
	Node    *ast.RuleStatement
	Policy  *Policy
	Name    string
	FQN     ast.FQN
	Default ast.Expression
	When    ast.Expression
	Body    ast.Expression
}

type RuleExportAttachment struct {
	Name  string
	Value ast.Expression
}

type Shape struct {
	Statement *ast.ShapeStatement
	Namespace *Namespace
	Policy    *Policy
	Name      string
	FQN       ast.FQN
	Model     *ShapeModel
	AliasOf   ast.TypeRef
	FilePath  string
	// contains filtered or unexported fields
}

type ShapeModel struct {
	WithFQN *ast.FQN
	Fields  map[string]*ShapeModelField
}

type ShapeModelField struct {
	Node     *ast.ShapeField
	Name     string
	Optional bool
	TypeRef  ast.TypeRef
}

type String string