langspec

var SemanticRules = []string{
	"Protocol names must be unique within a library",
	"Field names must be unique within a protocol",
	"Bitfield groups must sum to a multiple of 8 bits",
	"Checksum covers fields must reference existing fields",
	"Length references must point to integer fields",
	"Condition fields must reference previously defined fields",
	"Enum values must be unique within a field",
	"Type aliases must reference valid base types",
	"Import paths must resolve to valid PSL files",
	"Extends must reference a registered protocol",
}

var TypeSystem = map[string]string{
	"uint<N>":   "Unsigned integer of N bits (1-64)",
	"int<N>":    "Signed integer of N bits (1-64)",
	"bytes":     "Variable-length byte sequence",
	"bytes[N]":  "Fixed-length byte sequence of N bytes",
	"string":    "UTF-8 encoded string",
	"string[N]": "Fixed-length string of N bytes",
	"bool":      "Boolean value (1 bit)",
}