Versions in this module Expand all Collapse all v0 v0.2.1 Feb 9, 2024 Changes in this version + const AN_EXACT_VALUE_USED_AS_MATCH_CASE_SHOULD_BE_SERIALIZABLE + const A_DATETIME_CAN_ONLY_BE_ADDED_WITH_A_DURATION + const A_DURATION_CAN_BE_SUBSTRACTED_FROM_A_DATETIME + const A_DURATION_CAN_ONLY_BE_ADDED_WITH_A_DURATION_DATE_DATETIME + const A_DURATION_CAN_ONLY_BE_SUBSTRACTED_FROM_DURATION_DATETIME + const CALLEE_HAS_NODE_BUT_NOT_DEFINED + const CALL_MAY_RETURN_ERROR_NOT_HANDLED_EITHER_HANDLE_IT_OR_TURN_THE_CALL_IN_A_MUST_CALL + const CANNOT_ADD_NEW_PROPERTY_TO_AN_EXACT_OBJECT + const CANNOT_CALL_GO_FUNC_NO_CONCRETE_VALUE + const CANNOT_CREATE_OPTIONAL_PATTERN_WITH_PATT_MATCHING_NIL + const CANNOT_DEQUEUE_FROM_EMPTY_LIST + const CANNOT_POP_FROM_EMPTY_LIST + const CANNOT_SPREAD_OBJ_PATTERN_THAT_IS_INEXACT + const CANNOT_SPREAD_OBJ_PATTERN_THAT_MATCHES_ANY_OBJECT + const CANNOT_SPREAD_REC_PATTERN_THAT_MATCHES_ANY_RECORD + const CONCATENATION_SUPPORTED_TYPES_EXPLANATION + const CONSTRAINTS_INIT_BLOCK_EXPLANATION + const CURRENT_DATABASE_SCHEMA_SAME_AS_PASSED + const DB_MIGRATION__DELETIONS_PROP_NAME + const DB_MIGRATION__INCLUSIONS_PROP_NAME + const DB_MIGRATION__INITIALIZATIONS_PROP_NAME + const DB_MIGRATION__REPLACEMENTS_PROP_NAME + const DIRECTLY_CALLING_METHOD_OF_URL_REF_ENTITY_NOT_ALLOWED + const DOUBLE_COLON_EXPRS_ONLY_SUPPORT_OBJ_LHS_FOR_NOW + const ELEMS_OF_TUPLE_SHOUD_BE_IMMUTABLE + const ELEM_PATTERNS_OF_TUPLE_SHOUD_MATCH_ONLY_IMMUTABLES + const END_INDEX_SHOULD_BE_LESS_OR_EQUAL_START_INDEX + const ERROR_IS_ALWAYS_RETURNED_THIS_WILL_CAUSE_A_PANIC + const EXPLANATION_ABOUT_RESTRICTED_SYNTAX_IN_MIGRATION_HANDLERS + const EXTENDED_PATTERN_MUST_BE_CONCRETIZABLE_AT_CHECK_TIME + const EXTRACTION_DOES_NOT_SUPPORT_DYNAMIC_VALUES + const FROM_XML_FACTORY_IS_NOT_A_GO_FUNCTION + const FROM_XML_FACTORY_NAME + const FROM_XML_FACTORY_SHOULD_HAVE_AT_LEAST_ONE_NON_VARIADIC_PARAM + const FROM_XML_FACTORY_SHOULD_NOT_BE_A_SHARED_FUNCTION + const FUNCS_CALLED_RECU_SHOULD_HAVE_RET_TYPE + const IMPORTED_MODULE_HAS_ERRORS + const IMPORTED_MOD_PATH_MUST_END_WITH_IX + const IMPOSSIBLE_TO_KNOW_UPDATED_ELEMENT + const IMPOSSIBLE_TO_KNOW_UPDATED_ELEMENTS + const INDEX_IS_OUT_OF_BOUNDS + const INDEX_IS_OUT_OF_RANGE + const INITIAL_NO_CHECK_FUEL + const INVALID_ASSIGN_INT_OPER_ASSIGN_LHS_NOT_INT + const INVALID_ASSIGN_INT_OPER_ASSIGN_RHS_NOT_INT + const INVALID_ASSIGN_MUTABLE_NON_WATCHABLE_VALUE_NOT_ALLOWED_AS_PROPS_OF_WATCHABLE + const INVALID_ASSIGN_NON_SERIALIZABLE_VALUE_NOT_ALLOWED_AS_PROPS_OF_SERIALIZABLE + const INVALID_ELEM_ELEMS_OF_RECORD_SHOULD_BE_IMMUTABLE + const INVALID_KEY_IN_COMPUTE_EXPRESSION_ONLY_SIMPLE_VALUE_ARE_SUPPORTED + const INVALID_MUST_CALL_OF_AN_INOX_FN_RETURN_TYPE_MUST_BE_XXX + const INVALID_MUTATION + const INVALID_SPAWN_EXPR_WITH_SHORTHAND_SYNTAX_CALLEE_SHOULD_BE_AN_FN_IDENTIFIER_OR_A_NAMESPACE_METHOD + const KEYS_OF_EXT_OBJ_MUST_BE_VALID_INOX_IDENTS + const KEY_VAR_SHOULD_BE_PROVIDED_ONLY_WHEN_ITERATING_OVER_AN_ITERABLE + const LEFT_OPERAND_DOES_NOT_IMPL_COMPARABLE_ + const LIFETIME_JOBS_NOT_ALLOWED_IN_READONLY_OBJECTS + const LTHREAD_META_ALLOW_SECTION + const LTHREAD_META_GLOBALS_SECTION + const LTHREAD_META_GROUP_SECTION + const MAIN_DB_MIGRATIONS_CAN_ONLY_BE_SPECIFIED_WHEN_TESTING_A_PROGRAM + const MAIN_DB_SCHEMA_CAN_ONLY_BE_SPECIFIED_WHEN_TESTING_A_PROGRAM + const MAX_INTERSECTION_COMPUTATION_DEPTH + const MAX_RECURSIVE_TEST_CALL_DEPTH + const MAX_STRING_SUGGESTION_DIFF + const MAX_UNION_PATTERN_FLATTENING_DEPTH + const META_PROPERTIES_NOT_ALLOWED_IN_EXTENSION_OBJECT + const META_VAL_OF_LIFETIMEJOB_SHOULD_BE_IMMUTABLE + const META_VAL_OF_TEST_CASE_SHOULD_EITHER_BE_A_STRING_OR_A_RECORD + const META_VAL_OF_TEST_SUITE_SHOULD_EITHER_BE_A_STRING_OR_A_RECORD + const MISPLACED_DOUBLE_COLON_EXPR + const MISPLACED_DOUBLE_COLON_EXPR_EXT_METHOD_CAN_ONLY_BE_CALLED + const MISSING_FACTORY_IN_NAMESPACE_APPLIED_TO_XML_ELEMENT + const MISSING_MAIN_DB_MIGRATIONS_PROPERTY + const MISSING_RETURN_IN_FUNCTION + const MISSING_UNCONDITIONAL_RETURN_IN_FUNCTION + const MUTABLE_NON_WATCHABLE_VALUES_NOT_ALLOWED_AS_ELEMENTS_OF_WATCHABLE + const MUTABLE_NON_WATCHABLE_VALUES_NOT_ALLOWED_AS_INITIAL_VALUES_OF_WATCHABLE + const NAMESPACE_APPLIED_TO_XML_ELEMENT_SHOUD_BE_A_RECORD + const NESTED_RECURSIVE_FUNCTION_DECLARATION + const NON_SERIALIZABLE_VALUES_NOT_ALLOWED_AS_ELEMENTS_OF_SERIALIZABLE + const NON_SERIALIZABLE_VALUES_NOT_ALLOWED_AS_INITIAL_VALUES_OF_SERIALIZABLE + const NO_ERROR_IS_RETURNED + const ONLY_A_DURATION_CAN_BE_SUBSTRACTED_FROM_A_DATETIME + const ONLY_COMPILE_TIME_TYPES_CAN_BE_USED_AS_STRUCT_FIELD_TYPES + const ONLY_COMPILE_TIME_TYPES_CAN_BE_USED_IN_NEW_EXPRS + const ONLY_SERIALIZABLE_IMMUT_VALS_ALLOWED_IN_EXACT_VAL_PATTERN + const ONLY_SERIALIZABLE_VALUE_PATTERNS_ARE_ALLOWED + const OPERANDS_NOT_COMPARABLE_BECAUSE_DIFFERENT_TYPES + const OPERANDS_OF_BINARY_RANGE_EXPRS_SHOULD_BE_SERIALIZABLE + const OPTIONAL_MEMBER_EXPRS_NOT_ALLOWED_FOR_STRUCT_FIELDS + const PATH_OF_URL_SHOULD_NOT_HAVE_A_TRAILING_SLASH + const PATTERN_IS_NOT_CONVERTIBLE_TO_READONLY_VERSION + const POINTED_VALUE_HAS_NO_PROPERTIES + const POINTER_TYPES_CANNOT_BE_USED_IN_NEW_EXPRS_YET + const POSSIBLE_MISSING_PERM_TO_CREATE_A_LTHREAD + const PRETTY_PRINT_BUFF_WRITER_SIZE + const PROGRAM_TESTING_ONLY_SUPPORTED_IN_PROJECTS + const PROPERTY_PATTERNS_IN_OBJECT_AND_REC_PATTERNS_MUST_HAVE_SERIALIZABLE_VALUEs + const PROPERTY_VALUES_OF_READONLY_OBJECTS_SHOULD_BE_READONLY_OR_IMMUTABLE + const PROP_SPREAD_IN_REC_NOT_SUPP_YET + const REGEX_SYNTAX + const RHS_OF_DOUBLE_COLON_EXPRS_WITH_OBJ_LHS_SHOULD_BE_THE_NAME_OF_A_MUTABLE_NON_SHARABLE_VALUE_PROPERTY + const RIGHT_OPERAND_DOES_NOT_IMPL_COMPARABLE_ + const RIGHT_OPERAND_MAY_NOT_HAVE_A_URL + const ROOT_PATH_NOT_ALLOWED_REFERS_TO_DB + const SPREAD_ARGS_NOT_SUPPORTED_FOR_NON_VARIADIC_FUNCS + const SPREAD_ELEMENT_SHOULD_BE_A_LIST + const SPREAD_ELEMENT_SHOULD_BE_A_TUPLE + const SPREAD_ELEMENT_SHOULD_BE_ITERABLE + const START_INDEX_IS_OUT_OF_BOUNDS + const STR_TEMPL_LITS_WITH_INTERP_SHOULD_BE_PRECEDED_BY_PATTERN_WICH_NAME_HAS_PREFIX + const TEST_ITEM_META__FS_PROPNAME + const TEST_ITEM_META__MAIN_DB_MIGRATIONS + const TEST_ITEM_META__MAIN_DB_SCHEMA + const TEST_ITEM_META__NAME_PROPNAME + const TEST_ITEM_META__PASS_LIVE_FS_COPY + const TEST_ITEM_META__PROGRAM_PROPNAME + const THIS_EXPR_STMT_SYNTAX_IS_NOT_ALLOWED + const THIS_VAL_IS_AN_OPT_LIT_DID_YOU_FORGET_A_SPACE + const UNSUPPORTED_PARAM_TYPE_FOR_RUNTIME_TYPECHECK + const UPPER_BOUND_OF_QTY_RANGE_LIT_SHOULD_OF_SAME_TYPE_AS_LOWER_BOUND + const USELESS_MUTATION_IN_CLONED_PROP_VALUE + const VALUES_INSIDE_A_TREEDATA_SHOULD_BE_IMMUTABLE + const VALUES_INSIDE_A_TREEDATA_SHOULD_BE_SERIALIZABLE + const VARIABLE_DECL_ANNOTATION_MUST_BE_A_PATTERN + var ABS_DIR_PATH_EXAMPLE1 = NewPath("/dir/") + var ABS_DIR_PATH_EXAMPLE2 = NewPath("/dir/subdir/") + var ABS_FILE_PATH_EXAMPLE1 = NewPath("/file.json") + var ABS_FILE_PATH_EXAMPLE2 = NewPath("/dir/file.json") + var ANY = &Any + var ANY_ABS_DIR_PATH = &Path + var ANY_ABS_DIR_PATH_PATTERN = &PathPattern + var ANY_ABS_NON_DIR_PATH = &Path + var ANY_ABS_NON_DIR_PATH_PATTERN = &PathPattern + var ANY_ABS_PATH = &Path + var ANY_ABS_PATH_PATTERN = &PathPattern + var ANY_API = NewApiIL(NewAnyObjectPattern()) + var ANY_ARRAY = NewArrayOf(ANY) + var ANY_AST_NODE = &AstNode + var ANY_BOOL = &Bool + var ANY_BYTE = &Byte + var ANY_BYTECOUNT = &ByteCount + var ANY_BYTERATE = &ByteRate + var ANY_BYTES_CONCAT = &BytesConcatenation + var ANY_BYTES_LIKE = &AnyBytesLike + var ANY_BYTE_SLICE = &ByteSlice + var ANY_CHECKED_STRING = &CheckedString + var ANY_COLOR = &Color + var ANY_CONTAINER = &AnyContainer + var ANY_CURRENT_TEST = &CurrentTest + var ANY_CURRENT_TEST_WITH_PROGRAM = &CurrentTest + var ANY_DATABASE = NewDatabaseIL(DatabaseILParams{ ... }) + var ANY_DATE = &Date + var ANY_DATETIME = &DateTime + var ANY_DICT = NewAnyDictionary() + var ANY_DIR_PATH = &Path + var ANY_DIR_PATH_PATTERN = &PathPattern + var ANY_DURATION = &Duration + var ANY_EMAIL_ADDR = &EmailAddress + var ANY_ERR = &Error + var ANY_EVENT = utils.Must(NewEvent(ANY)) + var ANY_EVENT_PATTERN = &EventPattern + var ANY_EXACT_STR_PATTERN = &ExactStringPattern + var ANY_EXACT_VALUE_PATTERN = &ExactValuePattern + var ANY_EXECUTED_STEP = &ExecutedStep + var ANY_FILEINFO = &FileInfo + var ANY_FILEMODE = &FileMode + var ANY_FLOAT = &Float + var ANY_FLOAT_RANGE = &FloatRange + var ANY_FLOAT_RANGE_PATTERN = NewFloatRangePattern(ANY_FLOAT_RANGE) + var ANY_FLOAT_RANGE_STRING_PATTERN = &FloatRangeStringPattern + var ANY_FORMAT = &AnyFormat + var ANY_FREQUENCY = &Frequency + var ANY_FS_SNAPSHOT_IL = &FilesystemSnapshotIL + var ANY_FUNC = &Function + var ANY_FUNCTION_PATTERN = &FunctionPattern + var ANY_GLOBAL_STATE = &GlobalState + var ANY_HOST = &Host + var ANY_HOST_PATTERN = &HostPattern + var ANY_HTTPS_HOST = NewHostMatchingPattern(ANY_HTTPS_HOST_PATTERN) + var ANY_HTTPS_HOST_PATTERN = &HostPattern + var ANY_HTTP_HOST = NewHostMatchingPattern(ANY_HTTP_HOST_PATTERN) + var ANY_HTTP_HOST_PATTERN = &HostPattern + var ANY_IDENTIFIER = &Identifier + var ANY_IMMUTABLE_NAMESPACE = &Namespace + var ANY_INDEXABLE = &AnyIndexable + var ANY_INOX_FUNC = &InoxFunction + var ANY_INT = &Int + var ANY_INTEGRAL = &AnyIntegral + var ANY_INT_RANGE = &IntRange + var ANY_INT_RANGE_PATTERN = NewIntRangePattern(ANY_INT_RANGE) + var ANY_INT_RANGE_STRING_PATTERN = &IntRangeStringPattern + var ANY_IN_MEM_SNAPSHOTABLE = &AnyInMemorySnapshotable + var ANY_ITERABLE = &AnyIterable + var ANY_KEYLIST = NewAnyKeyList() + var ANY_LENGTH_CHECKING_STRING_PATTERN = &LengthCheckingStringPattern + var ANY_LINECOUNT = &LineCount + var ANY_LIST_PATTERN = &ListPattern + var ANY_LONG_VALUE_PATH = &LongValuePath + var ANY_LTHREAD = <hread + var ANY_LTHREAD_GROUP = <hreadGroup + var ANY_MAPPING = &Mapping + var ANY_MIMETYPE = &Mimetype + var ANY_MODULE = &Module + var ANY_MODULE_ARGS = &ModuleArgs + var ANY_MODULE_PARAMS = &ModuleParamsPattern + var ANY_MSG = &Message + var ANY_MSG_RECEIVER = &AnyMessageReceiver + var ANY_MUTABLE_ENTRIES_NAMESPACE = &Namespace + var ANY_MUTATION = &Mutation + var ANY_MUTATION_PATTERN = &MutationPattern + var ANY_NAMED_SEGMENT_PATH_PATTERN = &NamedSegmentPathPattern + var ANY_NAMESPACE = &Namespace + var ANY_NON_DIR_PATH = &Path + var ANY_NON_DIR_PATH_PATTERN = &PathPattern + var ANY_OBJ = &Object + var ANY_OBJECT_PATTERN = &ObjectPattern + var ANY_OPTION = &Option + var ANY_OPTION_PATTERN = &OptionPattern + var ANY_ORDERED_PAIR = NewOrderedPair(ANY_SERIALIZABLE, ANY_SERIALIZABLE) + var ANY_PARSED_BASED_STRING_PATTERN = &ParserBasedPattern + var ANY_PATH = &Path + var ANY_PATH_PATTERN = &PathPattern + var ANY_PATTERN = &AnyPattern + var ANY_PATTERN_NAMESPACE = &PatternNamespace + var ANY_POINTER = &Pointer + var ANY_PORT = &Port + var ANY_PROPNAME = &PropertyName + var ANY_PROTOCOL_CLIENT = &AnyProtocolClient + var ANY_PUBLICATION = &Publication + var ANY_QUANTITY_RANGE = &QuantityRange + var ANY_READABLE = &AnyReadable + var ANY_READER = &Reader + var ANY_READONLY_OBJ = &Object + var ANY_REC = &Record + var ANY_RECORD_PATTERN = &RecordPattern + var ANY_REGEX_PATTERN = &RegexPattern + var ANY_REL_DIR_PATH = &Path + var ANY_REL_DIR_PATH_PATTERN = &PathPattern + var ANY_REL_NON_DIR_PATH = &Path + var ANY_REL_NON_DIR_PATH_PATTERN = &PathPattern + var ANY_REL_PATH = &Path + var ANY_REL_PATH_PATTERN = &PathPattern + var ANY_RES_NAME = &AnyResourceName + var ANY_RING_BUFFER = &RingBuffer + var ANY_RUNE = &Rune + var ANY_RUNECOUNT = &RuneCount + var ANY_RUNE_RANGE = &RuneRange + var ANY_RUNE_SLICE = &RuneSlice + var ANY_SCHEME = &Scheme + var ANY_SECRET = utils.Must(NewSecret(ANY_STR_LIKE, ANY_SECRET_PATTERN)) + var ANY_SECRET_PATTERN = NewSecretPattern(ANY_STR_PATTERN) + var ANY_SEQ_OF_ANY = NewAnySequenceOf(ANY) + var ANY_SEQ_STRING_PATTERN = &SequenceStringPattern + var ANY_SERIALIZABLE = &AnySerializable + var ANY_SERIALIZABLE_ITERABLE = &AnySerializableIterable + var ANY_SERIALIZABLE_PATTERN = &AnySerializablePattern + var ANY_SNAPSHOT = &Snapshot + var ANY_STREAM_SINK = &AnyStreamSink + var ANY_STREAM_SOURCE = &AnyStreamSource + var ANY_STRING = &String + var ANY_STRUCT = &Struct + var ANY_STRUCT_TYPE = &StructType + var ANY_STR_CONCAT = &StringConcatenation + var ANY_STR_LIKE = &AnyStringLike + var ANY_STR_PATTERN = &AnyStringPattern + var ANY_SUBSCRIBER = &AnySubscriber + var ANY_SUBSCRIPTION = &Subscription + var ANY_SYNC_MSG_HANDLER = &SynchronousMessageHandler + var ANY_SYSTEM_GRAPH = NewSystemGraph() + var ANY_SYSTEM_GRAPH_EDGE = NewSystemGraphEdge() + var ANY_SYSTEM_GRAPH_EVENT = NewSystemGraphEvent() + var ANY_SYSTEM_GRAPH_NODE = NewSystemGraphNode() + var ANY_SYSTEM_GRAPH_NODES = NewSystemGraphNodes() + var ANY_TESTED_PROGRAM = &TestedProgram + var ANY_TESTED_PROGRAM_OR_NIL = NewMultivalue(ANY_TESTED_PROGRAM, Nil) + var ANY_TEST_CASE = &TestCase + var ANY_TEST_SUITE = &TestSuite + var ANY_TOKEN = &Token + var ANY_TOKEN_OR_NIL = NewMultivalue(ANY_TOKEN, Nil) + var ANY_TREEDATA = &Treedata + var ANY_TUPLE = NewTupleOf(ANY_SERIALIZABLE) + var ANY_TUPLE_PATTERN = &TuplePattern + var ANY_TYPE = &Type + var ANY_TYPE_PATTERN = &TypePattern + var ANY_ULID = &ULID + var ANY_URL = &URL + var ANY_URL_PATTERN = &URLPattern + var ANY_UUIDv4 = &UUIDv4 + var ANY_VALUE_HISTORY = &ValueHistory + var ANY_VALUE_PATH = &AnyValuePath + var ANY_WALKABLE = &AnyWalkable + var ANY_WALKER = &Walker + var ANY_WATCHABLE = &AnyWatchable + var ANY_WATCHER = &Watcher + var ANY_WRITABLE = &AnyWritable + var ANY_WSS_HOST = NewHostMatchingPattern(ANY_WSS_HOST_PATTERN) + var ANY_WSS_HOST_PATTERN = &HostPattern + var ANY_WS_HOST = NewHostMatchingPattern(ANY_WS_HOST_PATTERN) + var ANY_WS_HOST_PATTERN = &HostPattern + var ANY_XML_ELEM = &XMLElement + var ANY_YEAR = &Year + var API_PROPNAMES = []string + var AST_NODE_PROPNAMES = []string + var BUILTIN_COMPTIME_TYPES = map[string]CompileTimeType + var BYTESLIKE_INTERFACE_TYPE = reflect.TypeOf((*BytesLike)(nil)).Elem() + var CHECKED_STRING_PROPNAMES = []string + var CTX_PTR_TYPE = reflect.TypeOf((*Context)(nil)) + var CURRENT_TEST_PROPNAMES = []string + var DATABASE_PROPNAMES = []string + var DATA_CHUNK_PROPNAMES = []string + var DICTIONARY_PROPNAMES = []string + var EMAIL_ADDR_PROPNAMES = []string + var EMPTY_LIST = NewList() + var EMPTY_OBJECT = NewEmptyObject() + var EMPTY_READONLY_LIST = NewReadonlyList() + var EMPTY_READONLY_OBJECT = NewEmptyReadonlyObject() + var EMPTY_STRING = NewString("") + var EMPTY_TUPLE = NewTuple() + var ERROR_TYPE = reflect.TypeOf((*Error)(nil)) + var ERR_PROPNAMES = []string + var EVENT_PROPNAMES = []string + var EXECUTED_STEP_PROPNAMES = []string + var ErrCannotAddNonSharableToSharedContainer = errors.New("cannot add a non sharable element to a shared container") + var ErrComptimeTypeAlreadyDefined = errors.New("comptile-time type is already defined") + var ErrFailedToSnapshot = errors.New("failed to snapshot") + var ErrInvalidFormattingArgument = errors.New("invalid formatting argument") + var ErrMaxIntersectionComputationDepthExceeded = errors.New("mamximum intersection computation depth exceeded") + var ErrMaximumSymbolicTestCallDepthReached = errors.New("maximum recursive Test() call depth reached, there is probably a cycle") + var ErrMissingNodeValue = errors.New("missing node value") + var ErrNoSymbolicValue = errors.New("no symbolic value") + var ErrNotConcretizable = errors.New("not concretizable") + var ErrNotConvertibleToReadonly = errors.New("not convertible to readonly") + var ErrNotImplementedYet = errors.New("not implemented yet") + var ErrPatternNotCallable = errors.New("pattern is not callable") + var ErrReadonlyValueCannotBeMutated = errors.New("readonly value cannot be mutated") + var ErrRuntimeValuesNotSupported = errors.New("removing exact value patterns from pattern is not supported") + var ErrUnassignablePropsMixin = errors.New("UnassignablePropsMixin") + var ErrUnreachable = errors.New("unreachable") + var ErrValueAlreadyInitialized = errors.New("value already initialized") + var ErrValueInExactPatternValueShouldBeImmutable = errors.New("the value in an exact value pattern should be immutable") + var ErrWideSymbolicValue = errors.New("cannot create wide symbolic value") + var FALSE = NewBool(false) + var FILEINFO_PROPNAMES = []string + var FLOAT_0 = NewFloat(0) + var FLOAT_1 = NewFloat(1) + var FLOAT_2 = NewFloat(2) + var FLOAT_3 = NewFloat(3) + var FORMAT_INTERFACE_TYPE = reflect.TypeOf((*Format)(nil)).Elem() + var GLOBAL_STATE_PROPNAMES = []string + var HOST_PATTERN_PROPNAMES = []string + var HOST_PROPNAMES = []string + var HTTPS_SCHEME = NewScheme("https") + var HTTP_SCHEME = NewScheme("http") + var INDEXABLE_INTERFACE_TYPE = reflect.TypeOf((*Indexable)(nil)).Elem() + var INEXACT_OBJECT_WITH_A_ONE = NewInexactObject(map[string]Serializable{ ... }, nil, nil) + var INTEGRAL_INTERFACE_TYPE = reflect.TypeOf((*Integral)(nil)).Elem() + var INT_0 = NewInt(0) + var INT_1 = NewInt(1) + var INT_1_OR_2 = NewMultivalue(INT_1, INT_2) + var INT_2 = NewInt(2) + var INT_3 = NewInt(3) + var IN_MEM_SNAPSHOTABLE = reflect.TypeOf((*InMemorySnapshotable)(nil)).Elem() + var IPROPS_INTERFACE_TYPE = reflect.TypeOf((*IProps)(nil)).Elem() + var ITERABLE_INTERFACE_TYPE = reflect.TypeOf((*Iterable)(nil)).Elem() + var LIST_APPEND_PARAM_NAMES = []string + var LIST_OF_SERIALIZABLES = NewListOf(ANY_SERIALIZABLE) + var LIST_PROPNAMES = []string + var LTHREAD_SECTION_NAMES = []string + var MAPPING_PROPNAMES = []string + var MAX_FLOAT = NewFloat(math.MaxFloat64) + var MAX_INT = NewInt(math.MaxInt64) + var MODULE_PROP_NAMES = []string + var MSG_PROPNAMES = []string + var MUTABLE_SEQUENCE_INTERFACE_TYPE = reflect.TypeOf((*MutableSequence)(nil)).Elem() + var NEVER = &Never + var Nil = &NilT + var OPTIONAL_PARAM_TYPE = reflect.TypeOf((*optionalParam)(nil)).Elem() + var PATH_EXAMPLES = []*Path + var PATH_PROPNAMES = []string + var PATTERN_INTERFACE_TYPE = reflect.TypeOf((*Pattern)(nil)).Elem() + var PROTOCOL_CLIENT_INTERFACE_TYPE = reflect.TypeOf((*ProtocolClient)(nil)).Elem() + var READABLE_INTERFACE_TYPE = reflect.TypeOf((*Readable)(nil)).Elem() + var READABLE_STREAM_ANY_ELEM = NewReadableStream(ANY) + var READONLY_INEXACT_OBJECT_WITH_A_ONE = INEXACT_OBJECT_WITH_A_ONE.ReadonlyObject() + var REL_DIR_PATH_EXAMPLE1 = NewPath("./dir/") + var REL_DIR_PATH_EXAMPLE2 = NewPath("./dir/subdir/") + var REL_FILE_PATH_EXAMPLE1 = NewPath("./file.json") + var REL_FILE_PATH_EXAMPLE2 = NewPath("./dir/file.json") + var RESOURCE_NAME_INTERFACE_TYPE = reflect.TypeOf((*ResourceName)(nil)).Elem() + var RING_BUFFER_PROPNAMES = []string + var ROUTINE_GROUP_PROPNAMES = []string + var ROUTINE_PROPNAMES = []string + var RUNE_PROPNAMES = []string + var RUNE_SLICE_PROPNAMES = []string + var RUNE_SLICE__INSERT_PARAMS = &[]Value + var RUNE_SLICE__INSERT_PARAM_NAMES = []string + var SEQUENCE_INTERFACE_TYPE = reflect.TypeOf((*Sequence)(nil)).Elem() + var SERIALIZABLE_INTERFACE_TYPE = reflect.TypeOf((*Serializable)(nil)).Elem() + var SERIALIZABLE_ITERABLE_INTERFACE_TYPE = reflect.TypeOf((*SerializableIterable)(nil)).Elem() + var SNAPSHOT_PROPNAMES = []string + var SOURCE_POSITION_RECORD = NewInexactRecord(map[string]Serializable{ ... }, nil) + var STATIC_CHECK_DATA_PROP_NAMES = []string + var STREAMABLE_INTERFACE_TYPE = reflect.TypeOf((*StreamSource)(nil)).Elem() + var STRINGIFY_PRETTY_PRINT_CONFIG = &pprint.PrettyPrintConfig + var STRING_LIKE_PSEUDOPROPS = []string + var STRLIKE_INTERFACE_TYPE = reflect.TypeOf((*StringLike)(nil)).Elem() + var STRLIKE_LIST = NewListOf(ANY_STR_LIKE) + var STR_PATTERN_ELEMENT_INTERFACE_TYPE = reflect.TypeOf((*StringPattern)(nil)).Elem() + var SUPPORTED_PARSING_ERRORS = []parse.ParsingErrorKind + var SYMBOLIC_DATA_PROP_NAMES = []string + var SYMBOLIC_VALUE_INTERFACE_TYPE = reflect.TypeOf((*Value)(nil)).Elem() + var SYSTEM_GRAPH_EVENT_PROPNAMES = []string + var SYSTEM_GRAPH_NODE_PROPNAMES = []string + var SYSTEM_GRAPH_PROPNAMES = []string + var SYSTEM_GRAP_EDGE_PROPNAMES = []string + var SYS_GRAPH_EDGE_TUPLE = NewTupleOf(ANY_SYSTEM_GRAPH_EDGE) + var SYS_GRAPH_EVENT_TUPLE = NewTupleOf(ANY_SYSTEM_GRAPH_EVENT) + var TESTED_PROGRAM_PROPNAMES = []string + var TEST_ITEM__EXPECTED_META_VALUE = NewMultivalue(ANY_STR_LIKE, NewExactObject(map[string]Serializable{ ... }, nil, nil)) + var TOKEN_PROPNAMES = []string + var TRUE = NewBool(true) + var URL_PROPNAMES = []string + var VALUEPATH_INTERFACE_TYPE = reflect.TypeOf((*ValuePath)(nil)).Elem() + var VALUE_HISTORY_PROPNAMES = []string + var VALUE_RECEIVER_INTERFACE_TYPE = reflect.TypeOf((*MessageReceiver)(nil)).Elem() + var WALK_ELEM = NewInexactObject(map[string]Serializable{ ... }, nil, nil) + var WATCHABLE_INTERFACE_TYPE = reflect.TypeOf((*Watchable)(nil)).Elem() + var WIDEST_LIST_PATTERN = NewListOf(ANY_SERIALIZABLE) + var WIDEST_TUPLE_PATTERN = NewTupleOf(ANY_SERIALIZABLE) + var WRITABLE_INTERFACE_TYPE = reflect.TypeOf((*Writable)(nil)).Elem() + var WSS_SCHEME = NewScheme("wss") + var WS_SCHEME = NewScheme("ws") + func Concretize(v Value, ctx ConcreteContext) (any, error) + func FmtCannotAssignPropertyOf(v Value) string + func FmtElementError(index int, err error) error + func FmtGeneralElementError(err error) error + func FmtInvalidArg(position int, actual, expected Value) string + func FmtPropertyError(name string, err error) error + func FmtPropertyPatternError(name string, err error) error + func FormatErrPropertyDoesNotExist(name string, v Value) error + func GetAllPropertyNames(v IProps) []string + func HasRequiredOrOptionalProperty(v IProps, name string) bool + func HasRequiredProperty(v IProps, name string) bool + func HaveIntersection(a, b Value) bool + func ImplementsOrIsMultivalueWithAllValuesImplementing[T Value](v Value) bool + func InitializeDictionary(d *Dictionary, entries map[string]Serializable, keys map[string]Serializable) + func InitializeListPatternElements(patt *ListPattern, elements []Pattern) + func InitializeListPatternGeneralElement(patt *ListPattern, element Pattern) + func InitializeObject(obj *Object, entries map[string]Serializable, static map[string]Pattern, ...) + func InitializeObjectPattern(patt *ObjectPattern, entries map[string]Pattern, ...) + func InitializeOrderedPair(pair *OrderedPair, first, second Serializable) + func InitializeRecordPattern(patt *RecordPattern, entries map[string]Pattern, ...) + func InitializeTuplePatternElements(patt *TuplePattern, elements []Pattern) + func InitializeTuplePatternGeneralElement(patt *TuplePattern, element Pattern) + func IsAny(val Value) bool + func IsAnyOrAnySerializable(val Value) bool + func IsAnySerializable(val Value) bool + func IsConcretizable(v Value) bool + func IsNameOfBuiltinComptimeType(name string) bool + func IsPropertyOptional(v IProps, name string) bool + func IsReadonly(v Value) bool + func IsReadonlyOrImmutable(v Value) bool + func IsSharable(v Value) (bool, string) + func IsSharableOrClonable(v Value) (bool, string) + func IsShared(v Value) bool + func IsSimpleSymbolicInoxVal(v Value) bool + func PrettyPrint(args PrettyPrintArgs) (regions pprint.Regions, err error) + func RegisterXMLInterpolationCheckingFunction(factory any, fn XMLInterpolationCheckingFunction) + func SetExternalData(data ExternalData) + func Share[T PotentiallySharable](v T, originState *State) T + func Stringify(v Value) string + func StringifyComptimeType(t CompileTimeType) string + func StringifyGetRegions(v Value) (string, pprint.Regions) + func UnregisterXMLCheckingFunction(factory any) + func ValidatePathOfValueInDatabase[T ~string](pathOrPattern T) error + type Any struct + func (a *Any) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (a *Any) Test(v Value, state RecTestCallState) bool + func (a *Any) WidestOfType() Value + func (any Any) IsMutable() bool + type AnyBytesLike struct + func (any AnyBytesLike) IsMutable() bool + func (b *AnyBytesLike) Element() Value + func (b *AnyBytesLike) ElementAt(i int) Value + func (b *AnyBytesLike) GetOrBuildBytes() *ByteSlice + func (b *AnyBytesLike) HasKnownLen() bool + func (b *AnyBytesLike) IteratorElementKey() Value + func (b *AnyBytesLike) IteratorElementValue() Value + func (b *AnyBytesLike) KnownLen() int + func (b *AnyBytesLike) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (b *AnyBytesLike) Reader() *Reader + func (b *AnyBytesLike) Test(v Value, state RecTestCallState) bool + func (b *AnyBytesLike) WidestOfType() Value + func (c *AnyBytesLike) SetSlice(ctx *Context, start, end *Int, v Sequence) + type AnyContainer struct + func (*AnyContainer) Contains(value Serializable) (yes bool, possible bool) + func (*AnyContainer) IteratorElementKey() Value + func (*AnyContainer) IteratorElementValue() Value + func (*AnyContainer) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (*AnyContainer) Test(v Value, state RecTestCallState) bool + func (*AnyContainer) WidestOfType() Value + func (any AnyContainer) IsMutable() bool + type AnyFormat struct + func (f *AnyFormat) IsMutable() bool + func (p *AnyFormat) Format(v Value) error + func (p *AnyFormat) HasUnderlyingPattern() bool + func (p *AnyFormat) IteratorElementKey() Value + func (p *AnyFormat) IteratorElementValue() Value + func (p *AnyFormat) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (p *AnyFormat) StringPattern() (StringPattern, bool) + func (p *AnyFormat) SymbolicValue() Value + func (p *AnyFormat) Test(v Value, state RecTestCallState) bool + func (p *AnyFormat) TestValue(Value, RecTestCallState) bool + func (p *AnyFormat) WidestOfType() Value + type AnyInMemorySnapshotable struct + func (*AnyInMemorySnapshotable) IsMutable() bool + func (s *AnyInMemorySnapshotable) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (s *AnyInMemorySnapshotable) TakeInMemorySnapshot() (*Snapshot, error) + func (s *AnyInMemorySnapshotable) Test(v Value, state RecTestCallState) bool + func (s *AnyInMemorySnapshotable) WatcherElement() Value + func (s *AnyInMemorySnapshotable) WidestOfType() Value + type AnyIndexable struct + func (any AnyIndexable) IsMutable() bool + func (i *AnyIndexable) Element() Value + func (i *AnyIndexable) ElementAt(index int) Value + func (i *AnyIndexable) HasKnownLen() bool + func (i *AnyIndexable) IteratorElementKey() Value + func (i *AnyIndexable) IteratorElementValue() Value + func (i *AnyIndexable) KnownLen() int + func (r *AnyIndexable) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (r *AnyIndexable) Test(v Value, state RecTestCallState) bool + func (r *AnyIndexable) WidestOfType() Value + type AnyIntegral struct + func (*AnyIntegral) Int64() (i *Int, signed bool) + func (*AnyIntegral) IteratorElementKey() Value + func (*AnyIntegral) IteratorElementValue() Value + func (*AnyIntegral) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (*AnyIntegral) Test(v Value, state RecTestCallState) bool + func (*AnyIntegral) WidestOfType() Value + func (any AnyIntegral) IsMutable() bool + type AnyIterable struct + func (*AnyIterable) IteratorElementKey() Value + func (*AnyIterable) IteratorElementValue() Value + func (*AnyIterable) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (*AnyIterable) Test(v Value, state RecTestCallState) bool + func (*AnyIterable) WidestOfType() Value + func (any AnyIterable) IsMutable() bool + type AnyMessageReceiver struct + func (any AnyMessageReceiver) IsMutable() bool + func (r *AnyMessageReceiver) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (r *AnyMessageReceiver) ReceiveMessage(Value) error + func (r *AnyMessageReceiver) Test(v Value, state RecTestCallState) bool + func (r *AnyMessageReceiver) WidestOfType() Value + type AnyPattern struct + func (any AnyPattern) IsMutable() bool + func (p *AnyPattern) HasUnderlyingPattern() bool + func (p *AnyPattern) IteratorElementKey() Value + func (p *AnyPattern) IteratorElementValue() Value + func (p *AnyPattern) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (p *AnyPattern) StringPattern() (StringPattern, bool) + func (p *AnyPattern) SymbolicValue() Value + func (p *AnyPattern) Test(v Value, state RecTestCallState) bool + func (p *AnyPattern) TestValue(Value, RecTestCallState) bool + func (p *AnyPattern) WidestOfType() Value + type AnyProtocolClient struct + func (*AnyProtocolClient) Schemes() []string + func (c *AnyProtocolClient) IsMutable() bool + func (r *AnyProtocolClient) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (r *AnyProtocolClient) Test(v Value, state RecTestCallState) bool + func (r *AnyProtocolClient) WidestOfType() Value + type AnyReadable struct + func (any AnyReadable) IsMutable() bool + func (r *AnyReadable) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (r *AnyReadable) Reader() *Reader + func (r *AnyReadable) Test(v Value, state RecTestCallState) bool + func (r *AnyReadable) WidestOfType() Value + type AnyResourceName struct + func (any AnyResourceName) IsMutable() bool + func (r *AnyResourceName) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (r *AnyResourceName) ResourceName() *String + func (r *AnyResourceName) Test(v Value, state RecTestCallState) bool + func (r *AnyResourceName) WidestOfType() Value + type AnySequenceOf struct + func NewAnySequenceOf(elem Value) *AnySequenceOf + func (*AnySequenceOf) HasKnownLen() bool + func (*AnySequenceOf) IsMutable() bool + func (*AnySequenceOf) IteratorElementKey() Value + func (*AnySequenceOf) KnownLen() int + func (*AnySequenceOf) WidestOfType() Value + func (s *AnySequenceOf) Element() Value + func (s *AnySequenceOf) ElementAt(i int) Value + func (s *AnySequenceOf) IteratorElementValue() Value + func (s *AnySequenceOf) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (s *AnySequenceOf) Test(v Value, state RecTestCallState) bool + type AnySerializable struct + func (*AnySerializable) IsMutable() bool + func (*AnySerializable) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (*AnySerializable) Test(v Value, state RecTestCallState) bool + func (*AnySerializable) WidestOfType() Value + type AnySerializableIterable struct + func (any AnySerializableIterable) IsMutable() bool + func (r *AnySerializableIterable) IteratorElementKey() Value + func (r *AnySerializableIterable) IteratorElementValue() Value + func (r *AnySerializableIterable) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (r *AnySerializableIterable) Test(v Value, state RecTestCallState) bool + func (r *AnySerializableIterable) WidestOfType() Value + type AnySerializablePattern struct + func (any AnySerializablePattern) IsMutable() bool + func (p *AnySerializablePattern) HasUnderlyingPattern() bool + func (p *AnySerializablePattern) IteratorElementKey() Value + func (p *AnySerializablePattern) IteratorElementValue() Value + func (p *AnySerializablePattern) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (p *AnySerializablePattern) StringPattern() (StringPattern, bool) + func (p *AnySerializablePattern) SymbolicValue() Value + func (p *AnySerializablePattern) Test(v Value, state RecTestCallState) bool + func (p *AnySerializablePattern) TestValue(Value, RecTestCallState) bool + func (p *AnySerializablePattern) WidestOfType() Value + type AnyStreamSink struct + func (any AnyStreamSink) IsMutable() bool + func (r *AnyStreamSink) ChunkedWritableStreamElement() Value + func (r *AnyStreamSink) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (r *AnyStreamSink) Test(v Value, state RecTestCallState) bool + func (r *AnyStreamSink) WidestOfType() Value + func (r *AnyStreamSink) WritableStreamElement() Value + type AnyStreamSource struct + func (any AnyStreamSource) IsMutable() bool + func (r *AnyStreamSource) ChunkedStreamElement() Value + func (r *AnyStreamSource) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (r *AnyStreamSource) StreamElement() Value + func (r *AnyStreamSource) Test(v Value, state RecTestCallState) bool + func (r *AnyStreamSource) WidestOfType() Value + type AnyStringLike struct + func (any AnyStringLike) IsMutable() bool + func (p *AnyStringLike) PropertyNames() []string + func (s *AnyStringLike) Element() Value + func (s *AnyStringLike) ElementAt(i int) Value + func (s *AnyStringLike) GetOrBuildString() *String + func (s *AnyStringLike) HasKnownLen() bool + func (s *AnyStringLike) IteratorElementKey() Value + func (s *AnyStringLike) IteratorElementValue() Value + func (s *AnyStringLike) KnownLen() int + func (s *AnyStringLike) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (s *AnyStringLike) Prop(name string) Value + func (s *AnyStringLike) Reader() *Reader + func (s *AnyStringLike) Test(v Value, state RecTestCallState) bool + func (s *AnyStringLike) WidestOfType() Value + type AnyStringPattern struct + func (any AnyStringPattern) IsMutable() bool + func (p *AnyStringPattern) HasRegex() bool + func (p *AnyStringPattern) HasUnderlyingPattern() bool + func (p *AnyStringPattern) IteratorElementKey() Value + func (p *AnyStringPattern) IteratorElementValue() Value + func (p *AnyStringPattern) MatchGroups(v Value) (bool, map[string]Value) + func (p *AnyStringPattern) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (p *AnyStringPattern) StringPattern() (StringPattern, bool) + func (p *AnyStringPattern) SymbolicValue() Value + func (p *AnyStringPattern) Test(v Value, state RecTestCallState) bool + func (p *AnyStringPattern) TestValue(v Value, state RecTestCallState) bool + func (p *AnyStringPattern) WidestOfType() Value + type AnySubscriber struct + func (*AnySubscriber) IsMutable() bool + func (r *AnySubscriber) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (r *AnySubscriber) ReceivePublication(Value) error + func (r *AnySubscriber) Test(v Value, state RecTestCallState) bool + func (r *AnySubscriber) WidestOfType() Value + type AnyValuePath struct + func (p *AnyValuePath) GetFrom(v Value) (result Value, alwaysPresent bool, err error) + func (p *AnyValuePath) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (p *AnyValuePath) Test(v Value, state RecTestCallState) bool + func (p *AnyValuePath) WidestOfType() Value + func (p AnyValuePath) IsMutable() bool + type AnyWalkable struct + func (any AnyWalkable) IsMutable() bool + func (r *AnyWalkable) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (r *AnyWalkable) Test(v Value, state RecTestCallState) bool + func (r *AnyWalkable) WalkerElement() Value + func (r *AnyWalkable) WidestOfType() Value + type AnyWatchable struct + func (any AnyWatchable) IsMutable() bool + func (r *AnyWatchable) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (r *AnyWatchable) Test(v Value, state RecTestCallState) bool + func (r *AnyWatchable) WatcherElement() Value + func (r *AnyWatchable) WidestOfType() Value + type AnyWritable struct + func (any AnyWritable) IsMutable() bool + func (r *AnyWritable) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (r *AnyWritable) Test(v Value, state RecTestCallState) bool + func (r *AnyWritable) WidestOfType() Value + func (r *AnyWritable) Writer() *Writer + type ApiIL struct + func NewApiIL(schema *ObjectPattern) *ApiIL + func (*ApiIL) IsMutable() bool + func (ApiIL *ApiIL) Close(*Context) *Error + func (ApiIL *ApiIL) UpdateSchema(ctx *Context, schema *ObjectPattern) *Error + func (api *ApiIL) GetGoMethod(name string) (*GoFunction, bool) + func (api *ApiIL) Prop(name string) Value + func (api *ApiIL) Test(v Value, state RecTestCallState) bool + func (api *ApiIL) WidestOfType() Value + func (db *ApiIL) PropertyNames() []string + func (r *ApiIL) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + type Array struct + func NewArray(elements ...Value) *Array + func NewArrayOf(generalElement Value) *Array + func (*Array) IsMutable() bool + func (*Array) WidestOfType() Value + func (a *Array) Element() Value + func (a *Array) ElementAt(i int) Value + func (a *Array) HasKnownLen() bool + func (a *Array) IteratorElementKey() Value + func (a *Array) IteratorElementValue() Value + func (a *Array) KnownLen() int + func (a *Array) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (a *Array) Test(v Value, state RecTestCallState) bool + type AstNode struct + Node parse.Node + func (*AstNode) PropertyNames() []string + func (n *AstNode) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (n *AstNode) Test(v Value, state RecTestCallState) bool + func (n *AstNode) WidestOfType() Value + func (n AstNode) IsMutable() bool + func (r *AstNode) Prop(name string) Value + type Bool struct + func NewBool(v bool) *Bool + func (b *Bool) Concretize(ctx ConcreteContext) any + func (b *Bool) IsConcretizable() bool + func (b *Bool) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (b *Bool) Static() Pattern + func (b *Bool) Test(v Value, state RecTestCallState) bool + func (b *Bool) WidestOfType() Value + func (boolean Bool) IsMutable() bool + type BoolType struct + func (t *BoolType) Equal(v CompileTimeType, state RecTestCallState) bool + func (t *BoolType) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (t *BoolType) SymbolicValue() Value + func (t *BoolType) TestValue(v Value, state RecTestCallState) bool + type Byte struct + func (b *Byte) Int64() (i *Int, signed bool) + func (b *Byte) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (b *Byte) Static() Pattern + func (b *Byte) Test(v Value, state RecTestCallState) bool + func (b *Byte) WidestOfType() Value + func (b Byte) IsMutable() bool + type ByteCount struct + func NewByteCount(v int64) *ByteCount + func (c *ByteCount) Concretize(ctx ConcreteContext) any + func (c *ByteCount) Int64() (i *Int, signed bool) + func (c *ByteCount) IsConcretizable() bool + func (c *ByteCount) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (c *ByteCount) Static() Pattern + func (c *ByteCount) Test(v Value, state RecTestCallState) bool + func (c *ByteCount) WidestOfType() Value + func (count ByteCount) IsMutable() bool + type ByteRate struct + func NewByteRate(v int64) *ByteRate + func (c *ByteRate) Test(v Value, state RecTestCallState) bool + func (r *ByteRate) Concretize(ctx ConcreteContext) any + func (r *ByteRate) IsConcretizable() bool + func (r *ByteRate) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (r *ByteRate) Static() Pattern + func (r *ByteRate) WidestOfType() Value + func (rate ByteRate) IsMutable() bool + type ByteSlice struct + func NewByteSlice() *ByteSlice + func (*ByteSlice) ElementAt(i int) Value + func (s *ByteSlice) Concretize(ctx ConcreteContext) any + func (s *ByteSlice) Element() Value + func (s *ByteSlice) GetOrBuildBytes() *ByteSlice + func (s *ByteSlice) HasKnownLen() bool + func (s *ByteSlice) IsConcretizable() bool + func (s *ByteSlice) IteratorElementKey() Value + func (s *ByteSlice) IteratorElementValue() Value + func (s *ByteSlice) KnownLen() int + func (s *ByteSlice) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (s *ByteSlice) Reader() *Reader + func (s *ByteSlice) SetSlice(ctx *Context, start, end *Int, v Sequence) + func (s *ByteSlice) Test(v Value, state RecTestCallState) bool + func (s *ByteSlice) WatcherElement() Value + func (s *ByteSlice) WidestOfType() Value + func (slice *ByteSlice) IsMutable() bool + type Bytecode struct + Bytecode any + func (b *Bytecode) IsMutable() bool + func (b *Bytecode) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (b *Bytecode) Test(v Value, state RecTestCallState) bool + func (b *Bytecode) WidestOfType() Value + type BytesConcatenation struct + func (*BytesConcatenation) ElementAt(i int) Value + func (c *BytesConcatenation) GetOrBuildBytes() *ByteSlice + func (c *BytesConcatenation) HasKnownLen() bool + func (c *BytesConcatenation) IsMutable() bool + func (c *BytesConcatenation) IteratorElementKey() Value + func (c *BytesConcatenation) IteratorElementValue() Value + func (c *BytesConcatenation) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (c *BytesConcatenation) Reader() *Reader + func (c *BytesConcatenation) SetSlice(ctx *Context, start, end *Int, v Sequence) + func (c *BytesConcatenation) Test(v Value, state RecTestCallState) bool + func (c *BytesConcatenation) WidestOfType() Value + func (s *BytesConcatenation) Element() Value + func (s *BytesConcatenation) KnownLen() int + type BytesLike interface + GetOrBuildBytes func() *ByteSlice + type CheckedString struct + func (p *CheckedString) PropertyNames() []string + func (s *CheckedString) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (s *CheckedString) Prop(name string) Value + func (s *CheckedString) Test(v Value, state RecTestCallState) bool + func (s *CheckedString) WidestOfType() Value + func (str CheckedString) IsMutable() bool + type ClonableSerializable interface + type ClonableSerializableMixin struct + type Collection interface + type CollectionMixin struct + type Color struct + func (*Color) PropertyNames() []string + func (c *Color) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (c *Color) Prop(name string) Value + func (c *Color) Test(v Value, state RecTestCallState) bool + func (c *Color) WidestOfType() Value + func (c Color) IsMutable() bool + type Comparable interface + type ComparableMixin struct + type CompileTimeType interface + Equal func(v CompileTimeType, state RecTestCallState) bool + PrettyPrint func(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + SymbolicValue func() Value + TestValue func(v Value, state RecTestCallState) bool + type ComplexPropertyConstraint struct + Expr parse.Node + Properties []string + type ConcreteContext interface + HasAPermissionWithKindAndType func(kind permkind.PermissionKind, typename permkind.InternalPermissionTypename) bool + HasPermissionUntyped func(perm any) bool + type ConcreteGlobalValue struct + IsConstant bool + Value any + func (v ConcreteGlobalValue) Constness() GlobalConstness + type ConcreteValueFactories struct + CreateBool func(bool) any + CreateByte func(byte) any + CreateByteCount func(int64) any + CreateByteRate func(int64) any + CreateByteSlice func([]byte) any + CreateDate func(time.Time) any + CreateDateTime func(time.Time) any + CreateDictionary func(keys, values []any, ctx ConcreteContext) any + CreateDuration func(time.Duration) any + CreateExactStringPattern func(value any) any + CreateExactValuePattern func(value any) any + CreateFloat func(float64) any + CreateFrequency func(float64) any + CreateHost func(string) any + CreateHostPattern func(string) any + CreateIdentifier func(string) any + CreateInt func(int64) any + CreateKeyList func(names []string) any + CreateLineCount func(int64) any + CreateList func(elements []any) any + CreateListPattern func(generalElementPattern any, elementPatterns []any) any + CreateLongValuePath func(segments ...any) any + CreateNil func() any + CreateObject func(concreteProperties map[string]any) any + CreateObjectPattern func(inexact bool, concretePropertyPatterns map[string]any, ...) any + CreateOption func(name string, value any) any + CreateOrderedPair func(first, second any) any + CreatePath func(string) any + CreatePathPattern func(string) any + CreatePropertyName func(string) any + CreateRecord func(concreteProperties map[string]any) any + CreateRecordPattern func(inexact bool, concretePropertyPatterns map[string]any, ...) any + CreateRune func(rune) any + CreateRuneCount func(int64) any + CreateRuneSlice func([]rune) any + CreateScheme func(string) any + CreateString func(string) any + CreateStringConcatenation func(elements []any) any + CreateTuple func(elements []any) any + CreateTuplePattern func(generalElementPattern any, elementPatterns []any) any + CreateULID func(ulid.ULID) any + CreateURL func(string) any + CreateURLPattern func(string) any + CreateUUID func(uuid.UUID) any + CreateYear func(time.Time) any + type Container interface + Contains func(value Serializable) (yes bool, possible bool) + type Context struct + func NewSymbolicContext(startingConcreteContext, concreteContext ConcreteContext, ...) *Context + func (ctx *Context) AddFormattedSymbolicGoFunctionError(format string, args ...any) + func (ctx *Context) AddHostAlias(name string, val *Host, ignoreError bool) + func (ctx *Context) AddNamedPattern(name string, pattern Pattern, ignoreError bool, ...) + func (ctx *Context) AddPatternNamespace(name string, namespace *PatternNamespace, ignoreError bool, ...) + func (ctx *Context) AddSymbolicGoFunctionError(msg string) + func (ctx *Context) AddSymbolicGoFunctionErrorf(fmtS string, args ...any) + func (ctx *Context) AddSymbolicGoFunctionWarning(msg string) + func (ctx *Context) AddTypeExtension(extension *TypeExtension) + func (ctx *Context) AllNamedPatternNames() []string + func (ctx *Context) CopyHostAliasesIn(destCtx *Context) + func (ctx *Context) CopyNamedPatternsIn(destCtx *Context) + func (ctx *Context) CopyPatternNamespacesIn(destCtx *Context) + func (ctx *Context) CopyTypeExtensions(destCtx *Context) + func (ctx *Context) EvalState() *State + func (ctx *Context) ForEachPattern(fn func(name string, pattern Pattern, knowPosition bool, ...)) + func (ctx *Context) ForEachPatternNamespace(fn func(name string, namespace *PatternNamespace, knowPosition bool, ...)) + func (ctx *Context) GetExtensions(v Value) (extensions []*TypeExtension) + func (ctx *Context) HasAPermissionWithKindAndType(kind permkind.PermissionKind, name permkind.InternalPermissionTypename) bool + func (ctx *Context) HasPermission(perm any) bool + func (ctx *Context) ResolveHostAlias(alias string) Value + func (ctx *Context) ResolveNamedPattern(name string) Pattern + func (ctx *Context) ResolvePatternNamespace(name string) *PatternNamespace + func (ctx *Context) SetSymbolicGoFunctionParameters(parameters *[]Value, names []string) + func (ctx *Context) SetSymbolicVariadicGoFunctionParameters(parameters *[]Value, names []string) + func (ctx *Context) SetUpdatedSelf(v Value) + type ContextData struct + Extensions []*TypeExtension + PatternNamespaces []PatternNamespaceData + Patterns []NamedPatternData + type CurrentTest struct + func (*CurrentTest) IsMutable() bool + func (*CurrentTest) PropertyNames() []string + func (t *CurrentTest) GetGoMethod(name string) (*GoFunction, bool) + func (t *CurrentTest) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (t *CurrentTest) Prop(name string) Value + func (t *CurrentTest) Test(v Value, state RecTestCallState) bool + func (t *CurrentTest) WidestOfType() Value + type Data struct + func EvalCheck(input EvalCheckInput) (*Data, error) + func NewSymbolicData() *Data + func (*Data) PropertyNames() []string + func (d *Data) Compute(ctx *Context, key Value) Value + func (d *Data) GetAllTypeExtensions(n *parse.DoubleColonExpression) ([]*TypeExtension, bool) + func (d *Data) GetComptimeTypes(module parse.Node) (*ModuleCompileTimeTypes, bool) + func (d *Data) GetContextData(n parse.Node, ancestorChain []parse.Node) (ContextData, bool) + func (d *Data) GetCreateComptimeTypes(module parse.Node) *ModuleCompileTimeTypes + func (d *Data) GetGlobalScopeData(n parse.Node, ancestorChain []parse.Node) (ScopeData, bool) + func (d *Data) GetGoMethod(name string) (*GoFunction, bool) + func (d *Data) GetLocalScopeData(n parse.Node, ancestorChain []parse.Node) (ScopeData, bool) + func (d *Data) GetNamedPatternOrPatternNamespacePositionDefinition(node parse.Node, ancestors []parse.Node) (pos parse.SourcePositionRange, found bool) + func (d *Data) GetURLReferencedEntity(n *parse.DoubleColonExpression) (Value, bool) + func (d *Data) GetUsedTypeExtension(n *parse.DoubleColonExpression) (*TypeExtension, bool) + func (d *Data) GetVariableDefinitionPosition(node parse.Node, ancestors []parse.Node) (pos parse.SourcePositionRange, found bool) + func (d *Data) IsMutable() bool + func (d *Data) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (d *Data) Prop(name string) Value + func (d *Data) SetAllTypeExtensions(n *parse.DoubleColonExpression, extensions []*TypeExtension) + func (d *Data) SetContextData(n parse.Node, contextData ContextData) + func (d *Data) SetGlobalScopeData(n parse.Node, scopeData ScopeData) + func (d *Data) SetLocalScopeData(n parse.Node, scopeData ScopeData) + func (d *Data) SetProp(name string, value Value) (IProps, error) + func (d *Data) SetURLReferencedEntity(n *parse.DoubleColonExpression, value Value) + func (d *Data) SetUsedTypeExtension(n *parse.DoubleColonExpression, ext *TypeExtension) + func (d *Data) Test(v Value, state RecTestCallState) bool + func (d *Data) WithExistingPropReplaced(name string, value Value) (IProps, error) + func (data *Data) AddData(newData *Data) + func (data *Data) AddError(err SymbolicEvaluationError) + func (data *Data) AddWarning(warning SymbolicEvaluationWarning) + func (data *Data) Errors() []SymbolicEvaluationError + func (data *Data) GetAllowedNonPresentKeys(node parse.Node) ([]string, bool) + func (data *Data) GetAllowedNonPresentProperties(node parse.Node) ([]string, bool) + func (data *Data) GetLessSpecificNodeValue(node parse.Node) (Value, bool) + func (data *Data) GetMostSpecificNodeValue(node parse.Node) (Value, bool) + func (data *Data) GetRuntimeTypecheckPattern(node parse.Node) (any, bool) + func (data *Data) IsEmpty() bool + func (data *Data) PushNodeValue(node parse.Node, v Value) + func (data *Data) SetAllowedNonPresentKeys(node parse.Node, keys []string) + func (data *Data) SetAllowedNonPresentProperties(node parse.Node, properties []string) + func (data *Data) SetLessSpecificNodeValue(node parse.Node, v Value) + func (data *Data) SetMostSpecificNodeValue(node parse.Node, v Value) + func (data *Data) SetRuntimeTypecheckPattern(node parse.Node, pattern any) + func (data *Data) Warnings() []SymbolicEvaluationWarning + func (m *Data) WidestOfType() Value + type DataChunk struct + func NewChunk(data Value) *DataChunk + func (*DataChunk) PropertyNames() []string + func (c *DataChunk) IsMutable() bool + func (c *DataChunk) Test(v Value, state RecTestCallState) bool + func (r *DataChunk) GetGoMethod(name string) (*GoFunction, bool) + func (r *DataChunk) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (r *DataChunk) Prop(name string) Value + func (r *DataChunk) WidestOfType() Value + type DatabaseIL struct + func NewDatabaseIL(args DatabaseILParams) *DatabaseIL + func (*DatabaseIL) IsMutable() bool + func (*DatabaseIL) WidestOfType() Value + func (db *DatabaseIL) Close(*Context) *Error + func (db *DatabaseIL) GetGoMethod(name string) (*GoFunction, bool) + func (db *DatabaseIL) GetPseudoPathCompletions(pseudoPath string, isPattern bool) (completions []string) + func (db *DatabaseIL) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (db *DatabaseIL) Prop(name string) Value + func (db *DatabaseIL) PropertyNames() []string + func (db *DatabaseIL) Test(v Value, state RecTestCallState) bool + func (db *DatabaseIL) UpdateSchema(ctx *Context, schema *ObjectPattern, additionalArgs ...*Object) + type DatabaseILParams struct + BaseURL *URL + Schema *ObjectPattern + SchemaUpdateExpected bool + type Date struct + func NewDate(v time.Time) *Date + func (d *Date) Concretize(ctx ConcreteContext) any + func (d *Date) IsConcretizable() bool + func (d *Date) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (d *Date) Static() Pattern + func (d *Date) Test(v Value, state RecTestCallState) bool + func (d *Date) WidestOfType() Value + func (d Date) IsMutable() bool + type DateTime struct + func NewDateTime(v time.Time) *DateTime + func (d *DateTime) Add(other Value, node *parse.BinaryExpression, state *State) (Value, error) + func (d *DateTime) Concretize(ctx ConcreteContext) any + func (d *DateTime) IsConcretizable() bool + func (d *DateTime) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (d *DateTime) Static() Pattern + func (d *DateTime) Sub(other Value, node *parse.BinaryExpression, state *State) (Value, error) + func (d *DateTime) Test(v Value, state RecTestCallState) bool + func (d *DateTime) WidestOfType() Value + func (d DateTime) IsMutable() bool + type Dictionary struct + func NewAnyDictionary() *Dictionary + func NewDictionary(entries map[string]Serializable, keys map[string]Serializable) *Dictionary + func NewUnitializedDictionary() *Dictionary + func (d *Dictionary) WidestOfType() Value + func (dict *Dictionary) Concretize(ctx ConcreteContext) any + func (dict *Dictionary) Entries() map[string]Serializable + func (dict *Dictionary) ForEachEntry(fn func(k string, v Value) error) error + func (dict *Dictionary) Get(ctx *Context, key Serializable) (Value, *Bool) + func (dict *Dictionary) IsConcretizable() bool + func (dict *Dictionary) IsMutable() bool + func (dict *Dictionary) IteratorElementKey() Value + func (dict *Dictionary) IteratorElementValue() Value + func (dict *Dictionary) Keys() map[string]Serializable + func (dict *Dictionary) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (dict *Dictionary) Prop(name string) Value + func (dict *Dictionary) PropertyNames() []string + func (dict *Dictionary) SetValue(ctx *Context, key, value Serializable) + func (dict *Dictionary) Test(v Value, state RecTestCallState) bool + func (dict *Dictionary) WatcherElement() Value + type DifferencePattern struct + Base Pattern + Removed Pattern + func (p *DifferencePattern) HasUnderlyingPattern() bool + func (p *DifferencePattern) IteratorElementKey() Value + func (p *DifferencePattern) IteratorElementValue() Value + func (p *DifferencePattern) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (p *DifferencePattern) StringPattern() (StringPattern, bool) + func (p *DifferencePattern) SymbolicValue() Value + func (p *DifferencePattern) Test(v Value, state RecTestCallState) bool + func (p *DifferencePattern) TestValue(v Value, state RecTestCallState) bool + func (p *DifferencePattern) WidestOfType() Value + func (pattern *DifferencePattern) IsMutable() bool + type DirPathConstraint int + const DirPath + const NonDirPath + const UnspecifiedDirOrFilePath + type Duration struct + func NewDuration(v time.Duration) *Duration + func (d *Duration) Add(right Value, node *parse.BinaryExpression, state *State) (Value, error) + func (d *Duration) Concretize(ctx ConcreteContext) any + func (d *Duration) IsConcretizable() bool + func (d *Duration) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (d *Duration) Static() Pattern + func (d *Duration) Sub(right Value, node *parse.BinaryExpression, state *State) (Value, error) + func (d *Duration) Test(v Value, state RecTestCallState) bool + func (d *Duration) WidestOfType() Value + func (d Duration) IsMutable() bool + type DynamicValue struct + func NewAnyDynamicValue() *DynamicValue + func NewDynamicValue(val Value) *DynamicValue + func (c *DynamicValue) IsMutable() bool + func (d *DynamicValue) IteratorElementKey() Value + func (d *DynamicValue) IteratorElementValue() Value + func (d *DynamicValue) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (d *DynamicValue) Prop(memberName string) Value + func (d *DynamicValue) PropertyNames() []string + func (d *DynamicValue) SetProp(name string, value Value) (IProps, error) + func (d *DynamicValue) TakeInMemorySnapshot() (*Snapshot, error) + func (d *DynamicValue) Test(v Value, state RecTestCallState) bool + func (d *DynamicValue) WatcherElement() Value + func (d *DynamicValue) WidestOfType() Value + func (d *DynamicValue) WithExistingPropReplaced(name string, value Value) (IProps, error) + type EmailAddress struct + func NewEmailAddress(v string) *EmailAddress + func (*EmailAddress) Prop(name string) Value + func (addr EmailAddress) IsMutable() bool + func (e *EmailAddress) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (e *EmailAddress) PropertyNames() []string + func (e *EmailAddress) Static() Pattern + func (e *EmailAddress) Test(v Value, state RecTestCallState) bool + func (e *EmailAddress) WidestOfType() Value + type Error struct + func NewError(data Value) *Error + func (*Error) PropertyNames() []string + func (e *Error) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (e *Error) Prop(name string) Value + func (e *Error) Test(v Value, state RecTestCallState) bool + func (e *Error) WidestOfType() Value + func (err Error) IsMutable() bool + type EvalCheckInput struct + AdditionalSymbolicGlobalConsts map[string]Value + Context *Context + Globals map[string]ConcreteGlobalValue + IsShellChunk bool + Module *Module + Node *parse.Chunk + ProjectFilesystem billy.Filesystem + ShellLocalVars map[string]any + ShellTrustedCommands []string + SymbolicBaseGlobals map[string]Value + SymbolicBasePatternNamespaces map[string]*PatternNamespace + SymbolicBasePatterns map[string]Pattern + UseBaseGlobals bool + type Event struct + func NewEvent(value Value) (*Event, error) + func (e *Event) IsMutable() bool + func (e *Event) Prop(name string) Value + func (e *Event) PropertyNames() []string + func (r *Event) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (r *Event) Test(v Value, state RecTestCallState) bool + func (r *Event) WidestOfType() Value + type EventPattern struct + ValuePattern Pattern + func NewEventPattern(valuePattern Pattern) (*EventPattern, error) + func (p *EventPattern) HasUnderlyingPattern() bool + func (p *EventPattern) IteratorElementKey() Value + func (p *EventPattern) IteratorElementValue() Value + func (p *EventPattern) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (p *EventPattern) StringPattern() (StringPattern, bool) + func (p *EventPattern) SymbolicValue() Value + func (p *EventPattern) Test(v Value, state RecTestCallState) bool + func (p *EventPattern) TestValue(v Value, state RecTestCallState) bool + func (p *EventPattern) WidestOfType() Value + func (patt *EventPattern) IsMutable() bool + type EventSource struct + func NewEventSource() *EventSource + func (*EventSource) PropertyNames() []string + func (e *EventSource) IsMutable() bool + func (s *EventSource) Close() + func (s *EventSource) GetGoMethod(name string) (*GoFunction, bool) + func (s *EventSource) IteratorElementKey() Value + func (s *EventSource) IteratorElementValue() Value + func (s *EventSource) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (s *EventSource) Prop(name string) Value + func (s *EventSource) SetProp(name string, value Value) (IProps, error) + func (s *EventSource) Test(v Value, state RecTestCallState) bool + func (s *EventSource) WidestOfType() Value + func (s *EventSource) WithExistingPropReplaced(name string, value Value) (IProps, error) + type ExactStringPattern struct + func NewExactStringPatternWithConcreteValue(value *String) *ExactStringPattern + func NewExactStringPatternWithRunTimeValue(rv *strLikeRunTimeValue) *ExactStringPattern + func (p *ExactStringPattern) Concretize(ctx ConcreteContext) any + func (p *ExactStringPattern) HasRegex() bool + func (p *ExactStringPattern) HasUnderlyingPattern() bool + func (p *ExactStringPattern) IsConcretizable() bool + func (p *ExactStringPattern) IteratorElementKey() Value + func (p *ExactStringPattern) IteratorElementValue() Value + func (p *ExactStringPattern) MigrationInitialValue() (Serializable, bool) + func (p *ExactStringPattern) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (p *ExactStringPattern) StringPattern() (StringPattern, bool) + func (p *ExactStringPattern) SymbolicValue() Value + func (p *ExactStringPattern) Test(v Value, state RecTestCallState) bool + func (p *ExactStringPattern) TestValue(v Value, state RecTestCallState) bool + func (p *ExactStringPattern) WidestOfType() Value + func (p *ExactStringPattern) WithExactValuePatternsRemoved() (Pattern, error) + func (pattern *ExactStringPattern) IsMutable() bool + type ExactValuePattern struct + func NewExactValuePattern(v Serializable) (*ExactValuePattern, error) + func NewUncheckedExactValuePattern(v Serializable) (*ExactValuePattern, error) + func (p *ExactValuePattern) Concretize(ctx ConcreteContext) any + func (p *ExactValuePattern) GetVal() Value + func (p *ExactValuePattern) HasUnderlyingPattern() bool + func (p *ExactValuePattern) IsConcretizable() bool + func (p *ExactValuePattern) IteratorElementKey() Value + func (p *ExactValuePattern) IteratorElementValue() Value + func (p *ExactValuePattern) MigrationInitialValue() (Serializable, bool) + func (p *ExactValuePattern) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (p *ExactValuePattern) SetVal(v Serializable) + func (p *ExactValuePattern) StringPattern() (StringPattern, bool) + func (p *ExactValuePattern) SymbolicValue() Value + func (p *ExactValuePattern) Test(v Value, state RecTestCallState) bool + func (p *ExactValuePattern) TestValue(v Value, state RecTestCallState) bool + func (p *ExactValuePattern) WidestOfType() Value + func (p *ExactValuePattern) WithExactValuePatternsRemoved() (Pattern, error) + func (pattern *ExactValuePattern) IsMutable() bool + type ExampleComputationContext struct + NonMatchingValue Value + type ExecutedStep struct + func (*ExecutedStep) PropertyNames() []string + func (s *ExecutedStep) Cancel(*Context) + func (s *ExecutedStep) GetGoMethod(name string) (*GoFunction, bool) + func (s *ExecutedStep) IsMutable() bool + func (s *ExecutedStep) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (s *ExecutedStep) Prop(name string) Value + func (s *ExecutedStep) Test(v Value, state RecTestCallState) bool + func (s *ExecutedStep) WaitResult(ctx *Context) (Value, *Error) + func (s *ExecutedStep) WidestOfType() Value + type ExternalData struct + AppendPathSegmentToURL func(url, segment string) string + AppendPathSegmentToURLPattern func(urlPattern, segment string) string + CONSTRAINTS_KEY string + CheckDatabaseSchema func(objectPattern any) error + ConcreteValueFactories ConcreteValueFactories + ConvertKeyReprToValue func(string) any + CreateConcreteContext func(permissions any) ConcreteContext + DEFAULT_PATTERN_NAMESPACES map[string]*PatternNamespace + EstimatePermissionsFromListingNode func(n *parse.ObjectLiteral) (any, error) + GetConcretePatternMatchingSymbolicValue func(concreteCtx ConcreteContext, v Value) (any, bool) + GetQuantity func(values []float64, units []string) (any, error) + GetRate func(values []float64, units []string, divUnit string) (any, error) + GetTopLevelEntitiesMigrationOperations func(concreteCtx context.Context, current, next any) ([]MigrationOp, error) + HostMatch func(host, pattern string) bool + IsIndexKey func(k string) bool + IsReadable func(v any) bool + IsWritable func(v any) bool + MANIFEST_PARAMS_SECTION_NAME string + MANIFEST_POSITIONAL_PARAM_NAME_FIELD string + MANIFEST_POSITIONAL_PARAM_PATTERN_FIELD string + MOD_ARGS_VARNAME string + PathMatch func(path, pattern string) bool + ToSymbolicValue func(concreteContext ConcreteContext, v any, wide bool) (Value, error) + URLMatch func(url, pattern string) bool + VISIBILITY_KEY string + type FileInfo struct + func (*FileInfo) PropertyNames() []string + func (f *FileInfo) Concretize(ctx ConcreteContext) any + func (f *FileInfo) IsConcretizable() bool + func (f *FileInfo) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (f *FileInfo) Prop(name string) Value + func (f *FileInfo) Static() Pattern + func (f *FileInfo) Test(v Value, state RecTestCallState) bool + func (f *FileInfo) WidestOfType() Value + func (f FileInfo) GetGoMethod(name string) (*GoFunction, bool) + func (i FileInfo) IsMutable() bool + type FileMode struct + func (m *FileMode) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (m *FileMode) Static() Pattern + func (m *FileMode) Test(v Value, state RecTestCallState) bool + func (m *FileMode) WidestOfType() Value + func (m FileMode) IsMutable() bool + type FilesystemSnapshotIL struct + func (*FilesystemSnapshotIL) IsMutable() bool + func (t *FilesystemSnapshotIL) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (t *FilesystemSnapshotIL) Test(v Value, state RecTestCallState) bool + func (t *FilesystemSnapshotIL) WidestOfType() Value + type Float struct + func NewFloat(v float64) *Float + func (f *Float) Concretize(ctx ConcreteContext) any + func (f *Float) IsConcretizable() bool + func (f *Float) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (f *Float) Static() Pattern + func (f *Float) Test(v Value, state RecTestCallState) bool + func (f *Float) WidestOfType() Value + func (f Float) IsMutable() bool + type FloatRange struct + func NewExcludedEndFloatRange(start, end *Float) *FloatRange + func NewFloatRange(start, end *Float, inclusiveEnd bool) *FloatRange + func NewIncludedEndFloatRange(start, end *Float) *FloatRange + func (r *FloatRange) Contains(value Serializable) (yes bool, possible bool) + func (r *FloatRange) InclusiveEnd() float64 + func (r *FloatRange) IteratorElementKey() Value + func (r *FloatRange) IteratorElementValue() Value + func (r *FloatRange) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (r *FloatRange) Static() Pattern + func (r *FloatRange) Test(v Value, state RecTestCallState) bool + func (r *FloatRange) WidestOfType() Value + func (r FloatRange) IsMutable() bool + type FloatRangePattern struct + func NewFloatRangePattern(floatRange *FloatRange) *FloatRangePattern + func (*FloatRangePattern) Prop(name string) Value + func (p *FloatRangePattern) HasUnderlyingPattern() bool + func (p *FloatRangePattern) IteratorElementKey() Value + func (p *FloatRangePattern) IteratorElementValue() Value + func (p *FloatRangePattern) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (p *FloatRangePattern) PropertyNames() []string + func (p *FloatRangePattern) StringPattern() (StringPattern, bool) + func (p *FloatRangePattern) SymbolicValue() Value + func (p *FloatRangePattern) Test(v Value, state RecTestCallState) bool + func (p *FloatRangePattern) TestValue(v Value, state RecTestCallState) bool + func (p *FloatRangePattern) WidestOfType() Value + func (patt *FloatRangePattern) IsMutable() bool + type FloatRangeStringPattern struct + func NewFloatRangeStringPattern(p *FloatRangePattern) *FloatRangeStringPattern + func (p *FloatRangeStringPattern) HasRegex() bool + func (p *FloatRangeStringPattern) HasUnderlyingPattern() bool + func (p *FloatRangeStringPattern) IteratorElementKey() Value + func (p *FloatRangeStringPattern) IteratorElementValue() Value + func (p *FloatRangeStringPattern) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (p *FloatRangeStringPattern) StringPattern() (StringPattern, bool) + func (p *FloatRangeStringPattern) SymbolicValue() Value + func (p *FloatRangeStringPattern) Test(v Value, state RecTestCallState) bool + func (p *FloatRangeStringPattern) TestValue(v Value, state RecTestCallState) bool + func (p *FloatRangeStringPattern) WidestOfType() Value + func (patt *FloatRangeStringPattern) IsMutable() bool + type FloatType struct + func (t *FloatType) Equal(v CompileTimeType, state RecTestCallState) bool + func (t *FloatType) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (t *FloatType) SymbolicValue() Value + func (t *FloatType) TestValue(v Value, state RecTestCallState) bool + type Format interface + Format func(v Value) error + type Frequency struct + func NewFrequency(v float64) *Frequency + func (c *Frequency) Test(v Value, state RecTestCallState) bool + func (f *Frequency) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (f Frequency) IsMutable() bool + func (r *Frequency) Concretize(ctx ConcreteContext) any + func (r *Frequency) IsConcretizable() bool + func (r *Frequency) Static() Pattern + func (r *Frequency) WidestOfType() Value + type Function struct + func NewFunction(params []Value, paramNames []string, firstOptionalParamIndex int, ...) *Function + func (any Function) IsMutable() bool + func (f *Function) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (f *Function) Test(v Value, state RecTestCallState) bool + func (f *Function) WidestOfType() Value + func (fn *Function) HasOptionalParams() bool + func (fn *Function) IsVariadic() bool + func (fn *Function) NonVariadicParameters() []Value + func (fn *Function) OriginGoFunction() (*GoFunction, bool) + func (fn *Function) VariadicParamElem() Value + type FunctionPattern struct + func (fn *FunctionPattern) HasUnderlyingPattern() bool + func (fn *FunctionPattern) IteratorElementValue() Value + func (fn *FunctionPattern) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (fn *FunctionPattern) SymbolicValue() Value + func (fn *FunctionPattern) Test(v Value, state RecTestCallState) bool + func (fn *FunctionPattern) WidestOfType() Value + func (p *FunctionPattern) IteratorElementKey() Value + func (p *FunctionPattern) StringPattern() (StringPattern, bool) + func (pattern *FunctionPattern) IsMutable() bool + func (pattern *FunctionPattern) TestValue(v Value, state RecTestCallState) bool + type GlobalConstness = int + const GlobalConst + const GlobalVar + type GlobalState struct + func (*GlobalState) PropertyNames() []string + func (GlobalState *GlobalState) Cancel(*Context) + func (GlobalState *GlobalState) WaitResult(ctx *Context) (Value, *Error) + func (r *GlobalState) GetGoMethod(name string) (*GoFunction, bool) + func (r *GlobalState) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (r *GlobalState) Prop(name string) Value + func (r *GlobalState) Test(v Value, state RecTestCallState) bool + func (r *GlobalState) WidestOfType() Value + func (s *GlobalState) IsMutable() bool + type GoFunction struct + func WrapGoClosure(goFn any) *GoFunction + func WrapGoFunction(goFn any) *GoFunction + func WrapGoMethod(goFn any) *GoFunction + func (fn *GoFunction) GoFunc() any + func (fn *GoFunction) IsSharable() (bool, string) + func (fn *GoFunction) IsShared() bool + func (fn *GoFunction) NonVariadicParametersExceptCtx() []Value + func (fn *GoFunction) ParametersExceptCtx() []Value + func (fn *GoFunction) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (fn *GoFunction) Share(originState *State) PotentiallySharable + func (fn *GoFunction) Test(v Value, state RecTestCallState) bool + func (fn *GoFunction) WidestOfType() Value + func (goFunc *GoFunction) Call(input goFunctionCallInput) (finalResult Value, multipleResults bool, enoughArgs bool, finalErr error) + func (goFunc *GoFunction) IsMutable() bool + func (goFunc *GoFunction) LoadSignatureData() (finalErr error) + func (goFunc *GoFunction) Result() Value + type GoFunctionKind int + const GoClosure + const GoFunc + const GoMethod + type GoValue interface + GetGoMethod func(name string) (*GoFunction, bool) + Prop func(name string) Value + PropertyNames func() []string + type GroupPattern interface + MatchGroups func(Value) (ok bool, groups map[string]Serializable) + type Host struct + func NewHost(v string) *Host + func NewHostMatchingPattern(p *HostPattern) *Host + func (*Host) Prop(name string) Value + func (h *Host) Concretize(ctx ConcreteContext) any + func (h *Host) IsConcretizable() bool + func (h *Host) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (h *Host) PropertyNames() []string + func (h *Host) ResourceName() *String + func (h *Host) Scheme() (*Scheme, bool) + func (h *Host) Static() Pattern + func (h *Host) Test(v Value, state RecTestCallState) bool + func (h *Host) WidestOfType() Value + func (host Host) IsMutable() bool + type HostPattern struct + func NewHostPattern(v string) *HostPattern + func NewHostPatternFromNode(n parse.Node, chunk *parse.Chunk) *HostPattern + func (p *HostPattern) HasUnderlyingPattern() bool + func (p *HostPattern) IsConcretizable() bool + func (p *HostPattern) IteratorElementKey() Value + func (p *HostPattern) IteratorElementValue() Value + func (p *HostPattern) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (p *HostPattern) Prop(name string) Value + func (p *HostPattern) PropertyNames() []string + func (p *HostPattern) Scheme() (*Scheme, bool) + func (p *HostPattern) Static() Pattern + func (p *HostPattern) StringPattern() (StringPattern, bool) + func (p *HostPattern) SymbolicValue() Value + func (p *HostPattern) Test(v Value, state RecTestCallState) bool + func (p *HostPattern) TestValue(v Value, state RecTestCallState) bool + func (p *HostPattern) WidestOfType() Value + func (patt HostPattern) IsMutable() bool + type IMultivalue interface + OriginalMultivalue func() *Multivalue + type IProps interface + Prop func(name string) Value + PropertyNames func() []string + SetProp func(name string, value Value) (IProps, error) + WithExistingPropReplaced func(name string, value Value) (IProps, error) + type IPropsPattern interface + ValuePropPattern func(name string) (propPattern Pattern, isOptional bool, ok bool) + ValuePropertyNames func() []string + type IPseudoAdd interface + Add func(right Value, node *parse.BinaryExpression, state *State) (Value, error) + type IPseudoSub interface + Sub func(right Value, node *parse.BinaryExpression, state *State) (Value, error) + type IRunTimeValue interface + OriginalRunTimeValue func() *RunTimeValue + type ISpecificIntersection interface + SpecificIntersection func(other Value, depth int) (Value, error) + type IToStatic interface + Static func() Pattern + type Identifier struct + func NewIdentifier(name string) *Identifier + func (i *Identifier) Concretize(ctx ConcreteContext) any + func (i *Identifier) HasConcreteName() bool + func (i *Identifier) IsConcretizable() bool + func (i *Identifier) Name() string + func (i *Identifier) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (i *Identifier) Static() Pattern + func (i *Identifier) Test(v Value, state RecTestCallState) bool + func (i *Identifier) WidestOfType() Value + func (i Identifier) IsMutable() bool + type InMemorySnapshotable interface + TakeInMemorySnapshot func() (*Snapshot, error) + type IncludedChunk struct + type InclusionMigrationOp struct + Optional bool + Value Pattern + type Indexable interface + Element func() Value + ElementAt func(i int) Value + HasKnownLen func() bool + KnownLen func() int + type InexactCapable interface + TestExact func(v Value) bool + type InoxFunction struct + func NewInoxFunction(parameters map[string]Value, capturedLocals map[string]Value, result Value) *InoxFunction + func (fn *InoxFunction) Concretize(ctx ConcreteContext) any + func (fn *InoxFunction) FuncExpr() *parse.FunctionExpression + func (fn *InoxFunction) IsConcretizable() bool + func (fn *InoxFunction) IsMutable() bool + func (fn *InoxFunction) IsSharable() (bool, string) + func (fn *InoxFunction) IsShared() bool + func (fn *InoxFunction) IsVariadic() bool + func (fn *InoxFunction) ParameterNames() []string + func (fn *InoxFunction) Parameters() []Value + func (fn *InoxFunction) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (fn *InoxFunction) Result() Value + func (fn *InoxFunction) Share(originState *State) PotentiallySharable + func (fn *InoxFunction) Test(v Value, state RecTestCallState) bool + func (fn *InoxFunction) WatcherElement() Value + func (fn *InoxFunction) WidestOfType() Value + type Int struct + func NewInt(v int64) *Int + func (i *Int) Concretize(ctx ConcreteContext) any + func (i *Int) HasValue() bool + func (i *Int) Int64() (n *Int, signed bool) + func (i *Int) IsConcretizable() bool + func (i *Int) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (i *Int) Static() Pattern + func (i *Int) Test(v Value, state RecTestCallState) bool + func (i *Int) Value() int64 + func (i *Int) WidestOfType() Value + func (i *Int) WithMatchingPattern(pattern *IntRangePattern) *Int + func (i Int) IsMutable() bool + type IntRange struct + func NewIntRange(start, end *Int, isStepNotOne bool) *IntRange + func (*IntRange) ElementAt(i int) Value + func (r *IntRange) Contains(value Serializable) (yes bool, possible bool) + func (r *IntRange) Element() Value + func (r *IntRange) HasKnownLen() bool + func (r *IntRange) InclusiveEnd() int64 + func (r *IntRange) IteratorElementKey() Value + func (r *IntRange) IteratorElementValue() Value + func (r *IntRange) KnownLen() int + func (r *IntRange) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (r *IntRange) Static() Pattern + func (r *IntRange) Test(v Value, state RecTestCallState) bool + func (r *IntRange) WidestOfType() Value + func (r IntRange) IsMutable() bool + type IntRangePattern struct + func NewIntRangePattern(intRange *IntRange) *IntRangePattern + func (*IntRangePattern) Prop(name string) Value + func (p *IntRangePattern) HasUnderlyingPattern() bool + func (p *IntRangePattern) IteratorElementKey() Value + func (p *IntRangePattern) IteratorElementValue() Value + func (p *IntRangePattern) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (p *IntRangePattern) PropertyNames() []string + func (p *IntRangePattern) StringPattern() (StringPattern, bool) + func (p *IntRangePattern) SymbolicValue() Value + func (p *IntRangePattern) Test(v Value, state RecTestCallState) bool + func (p *IntRangePattern) TestValue(v Value, state RecTestCallState) bool + func (p *IntRangePattern) WidestOfType() Value + func (patt *IntRangePattern) IsMutable() bool + type IntRangeStringPattern struct + func NewIntRangeStringPattern(p *IntRangePattern) *IntRangeStringPattern + func (p *IntRangeStringPattern) HasRegex() bool + func (p *IntRangeStringPattern) HasUnderlyingPattern() bool + func (p *IntRangeStringPattern) IteratorElementKey() Value + func (p *IntRangeStringPattern) IteratorElementValue() Value + func (p *IntRangeStringPattern) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (p *IntRangeStringPattern) StringPattern() (StringPattern, bool) + func (p *IntRangeStringPattern) SymbolicValue() Value + func (p *IntRangeStringPattern) Test(v Value, state RecTestCallState) bool + func (p *IntRangeStringPattern) TestValue(v Value, state RecTestCallState) bool + func (p *IntRangeStringPattern) WidestOfType() Value + func (patt *IntRangeStringPattern) IsMutable() bool + type IntType struct + func (t *IntType) Equal(v CompileTimeType, state RecTestCallState) bool + func (t *IntType) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (t *IntType) SymbolicValue() Value + func (t *IntType) TestValue(v Value, state RecTestCallState) bool + type Integral interface + Int64 func() (i *Int, signed bool) + type IntersectionPattern struct + func NewIntersectionPattern(cases []Pattern) (*IntersectionPattern, error) + func (p *IntersectionPattern) HasUnderlyingPattern() bool + func (p *IntersectionPattern) IteratorElementKey() Value + func (p *IntersectionPattern) IteratorElementValue() Value + func (p *IntersectionPattern) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (p *IntersectionPattern) StringPattern() (StringPattern, bool) + func (p *IntersectionPattern) SymbolicValue() Value + func (p *IntersectionPattern) Test(v Value, state RecTestCallState) bool + func (p *IntersectionPattern) TestValue(v Value, state RecTestCallState) bool + func (p *IntersectionPattern) WidestOfType() Value + func (patt *IntersectionPattern) IsMutable() bool + type Iterable interface + IteratorElementKey func() Value + IteratorElementValue func() Value + type IterationChange int + const BreakIteration + const ContinueIteration + const NoIterationChange + const PruneWalk + type Iterator struct + ElementValue Value + func (it *Iterator) IsMutable() bool + func (r *Iterator) IteratorElementKey() Value + func (r *Iterator) IteratorElementValue() Value + func (r *Iterator) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (r *Iterator) Test(v Value, state RecTestCallState) bool + func (r *Iterator) WidestOfType() Value + type KeyList struct + Keys []string + func NewAnyKeyList() *KeyList + func (l *KeyList) WidestOfType() Value + func (list *KeyList) Concretize(ctx ConcreteContext) any + func (list *KeyList) Element() Value + func (list *KeyList) ElementAt(i int) Value + func (list *KeyList) HasKnownLen() bool + func (list *KeyList) IsConcretizable() bool + func (list *KeyList) IteratorElementKey() Value + func (list *KeyList) IteratorElementValue() Value + func (list *KeyList) KnownLen() int + func (list *KeyList) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (list *KeyList) Test(v Value, state RecTestCallState) bool + func (list KeyList) IsMutable() bool + type LThread struct + func (*LThread) PropertyNames() []string + func (r *LThread) IsMutable() bool + func (t *LThread) Cancel(*Context) + func (t *LThread) GetGoMethod(name string) (*GoFunction, bool) + func (t *LThread) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (t *LThread) Prop(name string) Value + func (t *LThread) Test(v Value, state RecTestCallState) bool + func (t *LThread) WaitResult(ctx *Context) (Value, *Error) + func (t *LThread) WidestOfType() Value + type LThreadGroup struct + func (*LThreadGroup) PropertyNames() []string + func (g *LThreadGroup) Add(newRt *LThread) + func (g *LThreadGroup) CancelAll(*Context) + func (g *LThreadGroup) GetGoMethod(name string) (*GoFunction, bool) + func (g *LThreadGroup) IsMutable() bool + func (g *LThreadGroup) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (g *LThreadGroup) Prop(name string) Value + func (g *LThreadGroup) Test(v Value, state RecTestCallState) bool + func (g *LThreadGroup) WaitAllResults(ctx *Context) (*Array, *Error) + func (g *LThreadGroup) WidestOfType() Value + type LengthCheckingStringPattern struct + func NewLengthCheckingStringPattern(minLength, maxLength int64) *LengthCheckingStringPattern + func (p *LengthCheckingStringPattern) HasRegex() bool + func (p *LengthCheckingStringPattern) HasUnderlyingPattern() bool + func (p *LengthCheckingStringPattern) IteratorElementKey() Value + func (p *LengthCheckingStringPattern) IteratorElementValue() Value + func (p *LengthCheckingStringPattern) MatchGroups(v Value) (bool, map[string]Value) + func (p *LengthCheckingStringPattern) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (p *LengthCheckingStringPattern) StringPattern() (StringPattern, bool) + func (p *LengthCheckingStringPattern) SymbolicValue() Value + func (p *LengthCheckingStringPattern) Test(v Value, state RecTestCallState) bool + func (p *LengthCheckingStringPattern) TestValue(v Value, state RecTestCallState) bool + func (p *LengthCheckingStringPattern) WidestOfType() Value + func (patt *LengthCheckingStringPattern) IsMutable() bool + type LifetimeJob struct + func NewLifetimeJob(subjectPattern Pattern) *LifetimeJob + func (*LifetimeJob) PropertyNames() []string + func (e *LifetimeJob) IsMutable() bool + func (j *LifetimeJob) GetGoMethod(name string) (*GoFunction, bool) + func (j *LifetimeJob) Prop(name string) Value + func (j *LifetimeJob) Test(v Value, state RecTestCallState) bool + func (j *LifetimeJob) WidestOfType() Value + func (r *LifetimeJob) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + type LineCount struct + func NewLineCount(v int64) *LineCount + func (c *LineCount) Concretize(ctx ConcreteContext) any + func (c *LineCount) Int64() (i *Int, signed bool) + func (c *LineCount) IsConcretizable() bool + func (c *LineCount) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (c *LineCount) Static() Pattern + func (c *LineCount) Test(v Value, state RecTestCallState) bool + func (c *LineCount) WidestOfType() Value + func (count LineCount) IsMutable() bool + type List struct + func NewList(elements ...Serializable) *List + func NewListOf(generalElement Serializable) *List + func NewReadonlyList(elements ...Serializable) *List + func (l *List) Append(ctx *Context, elements ...Serializable) + func (l *List) Contains(value Serializable) (bool, bool) + func (l *List) Dequeue(ctx *Context) Serializable + func (l *List) Element() Value + func (l *List) ElementAt(i int) Value + func (l *List) HasKnownLen() bool + func (l *List) IteratorElementKey() Value + func (l *List) IteratorElementValue() Value + func (l *List) KnownLen() int + func (l *List) Pop(ctx *Context) Serializable + func (l *List) SetSlice(ctx *Context, start, end *Int, v Sequence) + func (l *List) SortBy(ctx *Context, valuePath ValuePath, orderIdent *Identifier) + func (l *List) Sorted(ctx *Context, orderIdent *Identifier) *List + func (l *List) WatcherElement() Value + func (l *List) WidestOfType() Value + func (list *List) Concretize(ctx ConcreteContext) any + func (list *List) IsConcretizable() bool + func (list *List) IsMutable() bool + func (list *List) IsReadonly() bool + func (list *List) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (list *List) Prop(name string) Value + func (list *List) PropertyNames() []string + func (list *List) Static() Pattern + func (list *List) Test(v Value, state RecTestCallState) bool + func (list *List) ToReadonly() (PotentiallyReadonly, error) + type ListPattern struct + func NewListPattern(elements []Pattern) *ListPattern + func NewListPatternOf(generalElement Pattern) *ListPattern + func (p *ListPattern) Concretize(ctx ConcreteContext) any + func (p *ListPattern) HasUnderlyingPattern() bool + func (p *ListPattern) IsConcretizable() bool + func (p *ListPattern) IsReadonlyPattern() bool + func (p *ListPattern) IteratorElementKey() Value + func (p *ListPattern) IteratorElementValue() Value + func (p *ListPattern) MigrationInitialValue() (Serializable, bool) + func (p *ListPattern) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (p *ListPattern) StringPattern() (StringPattern, bool) + func (p *ListPattern) SymbolicValue() Value + func (p *ListPattern) Test(v Value, state RecTestCallState) bool + func (p *ListPattern) TestValue(v Value, state RecTestCallState) bool + func (p *ListPattern) ToReadonlyPattern() (PotentiallyReadonlyPattern, error) + func (p *ListPattern) WidestOfType() Value + func (patt *ListPattern) IsMutable() bool + type LongValuePath struct + func NewLongValuePath(segments ...ValuePathSegment) *LongValuePath + func (p *LongValuePath) Concretize(ctx ConcreteContext) any + func (p *LongValuePath) GetFrom(v Value) (result Value, alwaysPresent bool, err error) + func (p *LongValuePath) IsConcretizable() bool + func (p *LongValuePath) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (p *LongValuePath) Static() Pattern + func (p *LongValuePath) Test(v Value, state RecTestCallState) bool + func (p *LongValuePath) WidestOfType() Value + func (p LongValuePath) IsMutable() bool + type Mapping struct + func NewMapping() *Mapping + func (*Mapping) PropertyNames() []string + func (m *Mapping) Compute(ctx *Context, key Value) Value + func (m *Mapping) GetGoMethod(name string) (*GoFunction, bool) + func (m *Mapping) IsMutable() bool + func (m *Mapping) IsSharable() (bool, string) + func (m *Mapping) IsShared() bool + func (m *Mapping) IteratorElementKey() Value + func (m *Mapping) IteratorElementValue() Value + func (m *Mapping) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (m *Mapping) Prop(name string) Value + func (m *Mapping) SetProp(name string, value Value) (IProps, error) + func (m *Mapping) Share(originState *State) PotentiallySharable + func (m *Mapping) Test(v Value, state RecTestCallState) bool + func (m *Mapping) WidestOfType() Value + func (m *Mapping) WithExistingPropReplaced(name string, value Value) (IProps, error) + type MatchingValueExample struct + AdditionalMessage string + Value Value + func GetExamples(v Value, cctx ExampleComputationContext) []MatchingValueExample + type MatchingValueExampleProvider interface + Examples func(cctx ExampleComputationContext) []MatchingValueExample + type Message struct + func (*Message) IsMutable() bool + func (m *Message) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (m *Message) Prop(name string) Value + func (m *Message) PropertyNames() []string + func (m *Message) ReceiveMessage(Value) error + func (m *Message) Test(v Value, state RecTestCallState) bool + func (m *Message) WidestOfType() Value + type MessageReceiver interface + ReceiveMessage func(Value) error + type MigrationInitialValueCapablePattern interface + MigrationInitialValue func() (Serializable, bool) + type MigrationMixin struct + PseudoPath string + func (m MigrationMixin) GetPseudoPath() string + type MigrationOp interface + GetPseudoPath func() string + type Mimetype struct + func NewMimetype(v string) *Mimetype + func (m *Mimetype) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (m *Mimetype) Static() Pattern + func (m *Mimetype) Test(v Value, state RecTestCallState) bool + func (m *Mimetype) WidestOfType() Value + func (mt Mimetype) IsMutable() bool + type Module struct + func NewModule(chunk *parse.ParsedChunkSource, ...) *Module + func (*Module) PropertyNames() []string + func (m *Module) GetGoMethod(name string) (*GoFunction, bool) + func (m *Module) IsMutable() bool + func (m *Module) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (m *Module) Prop(name string) Value + func (m *Module) SetProp(name string, value Value) (IProps, error) + func (m *Module) Test(v Value, state RecTestCallState) bool + func (m *Module) WidestOfType() Value + func (m *Module) WithExistingPropReplaced(name string, value Value) (IProps, error) + func (mod *Module) GetLineColumn(node parse.Node) (int32, int32) + func (mod *Module) Name() string + type ModuleArgs struct + func NewModuleArgs(paramsPattern *ModuleParamsPattern, fieldValues map[string]Value) *ModuleArgs + func (args *ModuleArgs) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (args *ModuleArgs) Prop(name string) Value + func (args *ModuleArgs) PropertyNames() []string + func (args *ModuleArgs) SetProp(name string, value Value) (IProps, error) + func (args *ModuleArgs) Test(v Value, state RecTestCallState) bool + func (args *ModuleArgs) WidestOfType() Value + func (args *ModuleArgs) WithExistingPropReplaced(name string, value Value) (IProps, error) + func (s *ModuleArgs) IsMutable() bool + type ModuleCompileTimeTypes struct + func NewModuleCompileTimeTypes() *ModuleCompileTimeTypes + func (t *ModuleCompileTimeTypes) DefineType(name string, typ CompileTimeType) + func (t *ModuleCompileTimeTypes) GetPointerType(valueTypename string) (*PointerType, bool) + func (t *ModuleCompileTimeTypes) GetType(typename string) (CompileTimeType, bool) + func (t *ModuleCompileTimeTypes) IsTypeDefined(name string) bool + type ModuleParamsPattern struct + func CreateModuleParamsPattern(keys []string, types []Pattern) ModuleParamsPattern + func NewModuleParamsPattern(keys []string, types []Pattern) *ModuleParamsPattern + func (*ModuleParamsPattern) IsMutable() bool + func (p *ModuleParamsPattern) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (p *ModuleParamsPattern) Test(v Value, state RecTestCallState) bool + func (p *ModuleParamsPattern) WidestOfType() Value + type Multivalue struct + func NewMultivalue(values ...Value) *Multivalue + func NewStringMultivalue(strings ...string) *Multivalue + func (m *Multivalue) OriginalMultivalue() *Multivalue + func (mv *Multivalue) AllValues(callbackFn func(v Value) bool) bool + func (mv *Multivalue) IsMutable() bool + func (mv *Multivalue) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (mv *Multivalue) Test(v Value, state RecTestCallState) bool + func (mv *Multivalue) TransformsValues(transform func(v Value) Value) Value + func (mv *Multivalue) WidenSimpleValues() Value + func (mv *Multivalue) WidestOfType() Value + type MutableLengthSequence interface + type MutableSequence interface + SetSlice func(ctx *Context, start, end *Int, v Sequence) + type Mutation struct + func (r *Mutation) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (r *Mutation) Test(v Value, state RecTestCallState) bool + func (r *Mutation) WidestOfType() Value + func (w Mutation) IsMutable() bool + type MutationPattern struct + func NewMutationPattern(kind *Int, data0Pattern Pattern) *MutationPattern + func (p *MutationPattern) HasUnderlyingPattern() bool + func (p *MutationPattern) IteratorElementKey() Value + func (p *MutationPattern) IteratorElementValue() Value + func (p *MutationPattern) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (p *MutationPattern) StringPattern() (StringPattern, bool) + func (p *MutationPattern) SymbolicValue() Value + func (p *MutationPattern) Test(v Value, state RecTestCallState) bool + func (p *MutationPattern) TestValue(v Value, state RecTestCallState) bool + func (p *MutationPattern) WidestOfType() Value + func (patt *MutationPattern) IsMutable() bool + type NamedPatternData struct + DefinitionPosition parse.SourcePositionRange + Name string + Value Pattern + type NamedSegmentPathPattern struct + func NewNamedSegmentPathPattern(node *parse.NamedSegmentPathPatternLiteral) *NamedSegmentPathPattern + func (*NamedSegmentPathPattern) Prop(name string) Value + func (p *NamedSegmentPathPattern) IteratorElementKey() Value + func (p *NamedSegmentPathPattern) IteratorElementValue() Value + func (p *NamedSegmentPathPattern) MatchGroups(v Value) (bool, map[string]Serializable) + func (p *NamedSegmentPathPattern) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (p *NamedSegmentPathPattern) PropertyNames() []string + func (p *NamedSegmentPathPattern) StringPattern() (StringPattern, bool) + func (p *NamedSegmentPathPattern) SymbolicValue() Value + func (p *NamedSegmentPathPattern) Test(v Value, state RecTestCallState) bool + func (p *NamedSegmentPathPattern) TestValue(v Value, state RecTestCallState) bool + func (p *NamedSegmentPathPattern) WidestOfType() Value + func (p NamedSegmentPathPattern) HasUnderlyingPattern() bool + func (patt *NamedSegmentPathPattern) IsMutable() bool + type Namespace struct + func NewEmptyMutableEntriesNamespace() *Namespace + func NewEmptyNamespace() *Namespace + func NewMutableEntriesNamespace(entries map[string]Value) *Namespace + func NewNamespace(entries map[string]Value) *Namespace + func (ns *Namespace) IsMutable() bool + func (ns *Namespace) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (ns *Namespace) Prop(name string) Value + func (ns *Namespace) PropertyNames() []string + func (ns *Namespace) Test(v Value, state RecTestCallState) bool + func (ns *Namespace) WidestOfType() Value + type Never struct + func (*Never) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (*Never) Test(v Value, state RecTestCallState) bool + func (*Never) WidestOfType() Value + func (Never) IsMutable() bool + type NilT struct + func (*NilT) Concretize(ctx ConcreteContext) any + func (*NilT) IsConcretizable() bool + func (Nil NilT) IsMutable() bool + func (n *NilT) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (n *NilT) Test(v Value, state RecTestCallState) bool + func (n *NilT) WidestOfType() Value + type NillableInitializationMigrationOp struct + Value Pattern + type NotCallablePatternMixin struct + func (NotCallablePatternMixin) Call(ctx *Context, values []Value) (Pattern, error) + type Object struct + func NewAnyObject() *Object + func NewEmptyObject() *Object + func NewEmptyReadonlyObject() *Object + func NewExactObject(entries map[string]Serializable, optionalEntries map[string]struct{}, ...) *Object + func NewExactObject2(entries map[string]Serializable) *Object + func NewInexactObject(entries map[string]Serializable, optionalEntries map[string]struct{}, ...) *Object + func NewInexactObject2(entries map[string]Serializable) *Object + func NewObject(exact bool, entries map[string]Serializable, ...) *Object + func NewUnitializedObject() *Object + func (*Object) ReceiveMessage(Value) error + func (o *Object) Concretize(ctx ConcreteContext) any + func (o *Object) Contains(value Serializable) (bool, bool) + func (o *Object) Element() Value + func (o *Object) Examples(cctx ExampleComputationContext) []MatchingValueExample + func (o *Object) IsConcretizable() bool + func (o *Object) IsInexact() bool + func (o *Object) IsReadonly() bool + func (o *Object) IteratorElementKey() Value + func (o *Object) IteratorElementValue() Value + func (o *Object) ReadonlyObject() *Object + func (o *Object) SpecificIntersection(v Value, depth int) (Value, error) + func (o *Object) ToReadonly() (PotentiallyReadonly, error) + func (o *Object) URL() (*URL, bool) + func (o *Object) WatcherElement() Value + func (o *Object) WidestOfType() Value + func (o *Object) WithURL(url *URL) UrlHolder + func (obj *Object) AddStatic(pattern Pattern) (StaticDataHolder, error) + func (obj *Object) ForEachEntry(fn func(propName string, propValue Value) error) error + func (obj *Object) GetProperty(name string) (Value, Pattern, bool) + func (obj *Object) IsExistingPropertyOptional(name string) bool + func (obj *Object) IsMutable() bool + func (obj *Object) IsSharable() (bool, string) + func (obj *Object) IsShared() bool + func (obj *Object) MatchAnyObject() bool + func (obj *Object) OptionalPropertyNames() []string + func (obj *Object) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (obj *Object) Prop(name string) Value + func (obj *Object) PropertyNames() []string + func (obj *Object) ReceivePublication(pub *Publication) error + func (obj *Object) SerializableEntryMap() map[string]Serializable + func (obj *Object) SetProp(name string, value Value) (IProps, error) + func (obj *Object) Share(originState *State) PotentiallySharable + func (obj *Object) Static() Pattern + func (obj *Object) Test(v Value, state RecTestCallState) bool + func (obj *Object) TestExact(v Value) bool + func (obj *Object) ValueEntryMap() map[string]Value + func (obj *Object) WithExistingPropReplaced(name string, value Value) (IProps, error) + type ObjectPattern struct + func NewAnyObjectPattern() *ObjectPattern + func NewExactObjectPattern(entries map[string]Pattern, optionalEntries map[string]struct{}) *ObjectPattern + func NewInexactObjectPattern(entries map[string]Pattern, optionalEntries map[string]struct{}) *ObjectPattern + func NewObjectPattern(exact bool, entries map[string]Pattern, optionalEntries map[string]struct{}) *ObjectPattern + func NewUnitializedObjectPattern() *ObjectPattern + func (o *ObjectPattern) IsReadonlyPattern() bool + func (o *ObjectPattern) ToReadonlyPattern() (PotentiallyReadonlyPattern, error) + func (p *ObjectPattern) Concretize(ctx ConcreteContext) any + func (p *ObjectPattern) HasUnderlyingPattern() bool + func (p *ObjectPattern) IteratorElementKey() Value + func (p *ObjectPattern) IteratorElementValue() Value + func (p *ObjectPattern) MigrationInitialValue() (Serializable, bool) + func (p *ObjectPattern) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (p *ObjectPattern) StringPattern() (StringPattern, bool) + func (p *ObjectPattern) SymbolicValue() Value + func (p *ObjectPattern) Test(v Value, state RecTestCallState) bool + func (p *ObjectPattern) TestValue(v Value, state RecTestCallState) bool + func (p *ObjectPattern) ToRecordPattern() *RecordPattern + func (p *ObjectPattern) ValuePropPattern(name string) (propPattern Pattern, isOptional bool, ok bool) + func (p *ObjectPattern) ValuePropertyNames() []string + func (p *ObjectPattern) WidestOfType() Value + func (p *ObjectPattern) WithExactValuePatternsRemoved() (Pattern, error) + func (patt *ObjectPattern) ForEachEntry(fn func(propName string, propPattern Pattern, isOptional bool) error) error + func (patt *ObjectPattern) IsConcretizable() bool + func (patt *ObjectPattern) IsMutable() bool + type Option struct + func NewAnyNameOption(value Value) *Option + func NewOption(name string, value Value) *Option + func (o *Option) Concretize(ctx ConcreteContext) any + func (o *Option) IsConcretizable() bool + func (o *Option) Name() (string, bool) + func (o *Option) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (o *Option) Test(v Value, state RecTestCallState) bool + func (o *Option) WidestOfType() Value + func (opt Option) IsMutable() bool + type OptionPattern struct + func NewOptionPattern(name string, pattern Pattern) *OptionPattern + func (p *OptionPattern) HasUnderlyingPattern() bool + func (p *OptionPattern) IteratorElementKey() Value + func (p *OptionPattern) IteratorElementValue() Value + func (p *OptionPattern) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (p *OptionPattern) StringPattern() (StringPattern, bool) + func (p *OptionPattern) SymbolicValue() Value + func (p *OptionPattern) Test(v Value, state RecTestCallState) bool + func (p *OptionPattern) TestValue(v Value, state RecTestCallState) bool + func (p *OptionPattern) WidestOfType() Value + func (patt *OptionPattern) IsMutable() bool + type OptionalIProps interface + OptionalPropertyNames func() []string + type OptionalParam struct + Value *T + type OptionalPattern struct + func NewOptionalPattern(p Pattern) *OptionalPattern + func (p *OptionalPattern) HasUnderlyingPattern() bool + func (p *OptionalPattern) IteratorElementKey() Value + func (p *OptionalPattern) IteratorElementValue() Value + func (p *OptionalPattern) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (p *OptionalPattern) StringPattern() (StringPattern, bool) + func (p *OptionalPattern) SymbolicValue() Value + func (p *OptionalPattern) Test(v Value, state RecTestCallState) bool + func (p *OptionalPattern) TestValue(v Value, state RecTestCallState) bool + func (p *OptionalPattern) WidestOfType() Value + func (pattern *OptionalPattern) IsMutable() bool + type Order int + const AscendingOrder + const DescendingOrder + const LexicographicOrder + const ReverseLexicographicOrder + func OrderFromString(name string) (Order, bool) + type OrderedPair struct + func NewOrderedPair(first, second Serializable) *OrderedPair + func NewUnitializedOrderedPair() *OrderedPair + func (p *OrderedPair) Contains(value Serializable) (bool, bool) + func (p *OrderedPair) IsConcretizable() bool + func (p *OrderedPair) Test(v Value, state RecTestCallState) bool + func (t *OrderedPair) Concretize(ctx ConcreteContext) any + func (t *OrderedPair) Element() Value + func (t *OrderedPair) ElementAt(i int) Value + func (t *OrderedPair) HasKnownLen() bool + func (t *OrderedPair) IteratorElementKey() Value + func (t *OrderedPair) IteratorElementValue() Value + func (t *OrderedPair) KnownLen() int + func (t *OrderedPair) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (t *OrderedPair) Static() Pattern + func (t *OrderedPair) WidestOfType() Value + func (tuple *OrderedPair) IsMutable() bool + type ParserBasedPattern struct + func NewParserBasedPattern() *ParserBasedPattern + func (p *ParserBasedPattern) HasRegex() bool + func (p *ParserBasedPattern) HasUnderlyingPattern() bool + func (p *ParserBasedPattern) IteratorElementKey() Value + func (p *ParserBasedPattern) IteratorElementValue() Value + func (p *ParserBasedPattern) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (p *ParserBasedPattern) StringPattern() (StringPattern, bool) + func (p *ParserBasedPattern) SymbolicValue() Value + func (p *ParserBasedPattern) Test(v Value, state RecTestCallState) bool + func (p *ParserBasedPattern) TestValue(v Value, state RecTestCallState) bool + func (p *ParserBasedPattern) WidestOfType() Value + func (patt *ParserBasedPattern) IsMutable() bool + type Path struct + func NewPath(v string) *Path + func NewPathMatchingPattern(p *PathPattern) *Path + func (p *Path) Concretize(ctx ConcreteContext) any + func (p *Path) Examples(cctx ExampleComputationContext) []MatchingValueExample + func (p *Path) IsConcretizable() bool + func (p *Path) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (p *Path) Prop(name string) Value + func (p *Path) PropertyNames() []string + func (p *Path) ResourceName() *String + func (p *Path) Static() Pattern + func (p *Path) Test(v Value, state RecTestCallState) bool + func (p *Path) WalkerElement() Value + func (p *Path) WalkerNodeMeta() Value + func (p *Path) WidestOfType() Value + func (pth Path) IsMutable() bool + type PathAbsoluteness int + const AbsolutePath + const RelativePath + const UnspecifiedPathAbsoluteness + type PathPattern struct + func NewPathPattern(v string) *PathPattern + func NewPathPatternFromNode(n parse.Node, chunk *parse.Chunk) *PathPattern + func (*PathPattern) Prop(name string) Value + func (p *PathPattern) Concretize(ctx ConcreteContext) any + func (p *PathPattern) HasUnderlyingPattern() bool + func (p *PathPattern) IsConcretizable() bool + func (p *PathPattern) IteratorElementKey() Value + func (p *PathPattern) IteratorElementValue() Value + func (p *PathPattern) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (p *PathPattern) PropertyNames() []string + func (p *PathPattern) Static() Pattern + func (p *PathPattern) StringPattern() (StringPattern, bool) + func (p *PathPattern) SymbolicValue() Value + func (p *PathPattern) Test(v Value, state RecTestCallState) bool + func (p *PathPattern) TestValue(v Value, state RecTestCallState) bool + func (p *PathPattern) WidestOfType() Value + func (patt PathPattern) IsMutable() bool + type Pattern interface + Call func(ctx *Context, values []Value) (Pattern, error) + HasUnderlyingPattern func() bool + StringPattern func() (StringPattern, bool) + SymbolicValue func() Value + TestValue func(v Value, state RecTestCallState) bool + func NewMostAdaptedExactPattern(value Serializable) (Pattern, error) + func RemoveExactValuePatterns(p Pattern) (Pattern, error) + type PatternNamespace struct + func NewPatternNamespace(patterns map[string]Pattern) *PatternNamespace + func (ns *PatternNamespace) ForEachPattern(fn func(name string, patt Pattern) error) error + func (ns *PatternNamespace) IsMutable() bool + func (ns *PatternNamespace) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (ns *PatternNamespace) Test(v Value, state RecTestCallState) bool + func (ns *PatternNamespace) WidestOfType() Value + type PatternNamespaceData struct + DefinitionPosition parse.SourcePositionRange + Name string + Value *PatternNamespace + type PatternNext interface + WithExactValuePatternsRemoved func() (Pattern, error) + type Pointer struct + func (*Pointer) IsMutable() bool + func (*Pointer) WidestOfType() Value + func (p *Pointer) PrettyPrint(w prettyprint.PrettyPrintWriter, config *prettyprint.PrettyPrintConfig) + func (p *Pointer) Test(v Value, state RecTestCallState) bool + func (p *Pointer) Type() *PointerType + func (p *Pointer) ValueType() CompileTimeType + type PointerType struct + func (t *PointerType) Equal(v CompileTimeType, state RecTestCallState) bool + func (t *PointerType) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (t *PointerType) SymbolicValue() Value + func (t *PointerType) TestValue(v Value, state RecTestCallState) bool + func (t *PointerType) ValueType() CompileTimeType + type Port struct + func (p *Port) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (p *Port) Static() Pattern + func (p *Port) Test(v Value, state RecTestCallState) bool + func (p *Port) WidestOfType() Value + func (port Port) IsMutable() bool + type PotentiallyConcretizable interface + Concretize func(ctx ConcreteContext) any + IsConcretizable func() bool + type PotentiallyReadonly interface + IsReadonly func() bool + ToReadonly func() (PotentiallyReadonly, error) + type PotentiallyReadonlyPattern interface + IsReadonlyPattern func() bool + ToReadonlyPattern func() (PotentiallyReadonlyPattern, error) + type PotentiallySharable interface + IsSharable func() (bool, string) + IsShared func() bool + Share func(originState *State) PotentiallySharable + type PrettyPrintArgs struct + Config *pprint.PrettyPrintConfig + Depth int + EnableRegions bool + ParentIndentCount int + Value interface{ ... } + Writer io.Writer + type PropertyName struct + func NewPropertyName(name string) *PropertyName + func (n *PropertyName) Concretize(ctx ConcreteContext) any + func (n *PropertyName) GetFrom(v Value) (Value, bool, error) + func (n *PropertyName) IsConcretizable() bool + func (n *PropertyName) Name() string + func (n *PropertyName) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (n *PropertyName) SegmentGetFrom(v Value) (Value, bool, error) + func (n *PropertyName) Static() Pattern + func (n *PropertyName) Test(v Value, state RecTestCallState) bool + func (n *PropertyName) WidestOfType() Value + func (p PropertyName) IsMutable() bool + type ProtocolClient interface + Schemes func() []string + type PseudoPropsValue interface + Prop func(name string) Value + PropertyNames func() []string + type Publication struct + func NewPublication() *Publication + func (*Publication) IsMutable() bool + func (r *Publication) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (r *Publication) ReceivePublication(Value) error + func (r *Publication) Test(v Value, state RecTestCallState) bool + func (r *Publication) WidestOfType() Value + type QuantityRange struct + func NewQuantityRange(element Serializable) *QuantityRange + func (r *QuantityRange) IteratorElementKey() Value + func (r *QuantityRange) IteratorElementValue() Value + func (r *QuantityRange) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (r *QuantityRange) Test(v Value, state RecTestCallState) bool + func (r *QuantityRange) WidestOfType() Value + func (r QuantityRange) Contains(value Serializable) (yes bool, possible bool) + func (r QuantityRange) IsMutable() bool + type RandomnessSource struct + func (r *RandomnessSource) Commit(cr *Context) *Error + func (r *RandomnessSource) GetGoMethod(name string) (*GoFunction, bool) + func (r *RandomnessSource) IsMutable() bool + func (r *RandomnessSource) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (r *RandomnessSource) Prop(name string) Value + func (r *RandomnessSource) PropertyNames() []string + func (r *RandomnessSource) Rollback(cr *Context) *Error + func (r *RandomnessSource) Start(cr *Context) *Error + func (r *RandomnessSource) Test(v Value, state RecTestCallState) bool + func (r *RandomnessSource) WidestOfType() Value + type Readable interface + Reader func() *Reader + type ReadableStream struct + func NewReadableStream(element Value) *ReadableStream + func (r *ReadableStream) ChunkedStreamElement() Value + func (r *ReadableStream) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (r *ReadableStream) StreamElement() Value + func (r *ReadableStream) Test(v Value, state RecTestCallState) bool + func (r *ReadableStream) WidestOfType() Value + func (s *ReadableStream) IsMutable() bool + type Reader struct + func (*Reader) IsMutable() bool + func (Reader) PropertyNames() []string + func (r *Reader) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (r *Reader) Test(v Value, state RecTestCallState) bool + func (r *Reader) WidestOfType() Value + func (reader *Reader) GetGoMethod(name string) (*GoFunction, bool) + func (reader *Reader) Prop(name string) Value + func (reader *Reader) ReadAll() (*ByteSlice, *Error) + func (reader *Reader) ReadCtx(ctx *Context, b *ByteSlice) (*Int, *Error) + func (reader *Reader) Reader() *Reader + type RecTestCallState struct + func (s *RecTestCallState) FinishCall() + func (s *RecTestCallState) StartCall() + type Record struct + func NewAnyKeyRecord(value Value) *Record + func NewAnyrecord() *Record + func NewBoundEntriesRecord(entries map[string]Serializable) *Record + func NewEmptyRecord() *Record + func NewExactRecord(entries map[string]Serializable, optionalEntries map[string]struct{}) *Record + func NewInexactRecord(entries map[string]Serializable, optionalEntries map[string]struct{}) *Record + func (r *Record) Contains(value Serializable) (bool, bool) + func (r *Record) IsConcretizable() bool + func (r *Record) WidestOfType() Value + func (rec *Record) Concretize(ctx ConcreteContext) any + func (rec *Record) ForEachEntry(fn func(k string, v Value) error) error + func (rec *Record) IteratorElementKey() Value + func (rec *Record) IteratorElementValue() Value + func (rec *Record) OptionalPropertyNames() []string + func (rec *Record) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (rec *Record) Prop(name string) Value + func (rec *Record) PropertyNames() []string + func (rec *Record) Static() Pattern + func (rec *Record) Test(v Value, state RecTestCallState) bool + func (rec *Record) TestExact(v Value) bool + func (rec *Record) ValueEntryMap() map[string]Value + func (rec Record) IsMutable() bool + type RecordPattern struct + func NewAnyRecordPattern() *RecordPattern + func NewExactRecordPattern(entries map[string]Pattern, optionalEntries map[string]struct{}) *RecordPattern + func NewInexactRecordPattern(entries map[string]Pattern, optionalEntries map[string]struct{}) *RecordPattern + func NewUnitializedRecordPattern() *RecordPattern + func (p *RecordPattern) Concretize(ctx ConcreteContext) any + func (p *RecordPattern) HasUnderlyingPattern() bool + func (p *RecordPattern) IsConcretizable() bool + func (p *RecordPattern) IteratorElementKey() Value + func (p *RecordPattern) IteratorElementValue() Value + func (p *RecordPattern) MigrationInitialValue() (Serializable, bool) + func (p *RecordPattern) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (p *RecordPattern) StringPattern() (StringPattern, bool) + func (p *RecordPattern) SymbolicValue() Value + func (p *RecordPattern) Test(v Value, state RecTestCallState) bool + func (p *RecordPattern) TestValue(v Value, state RecTestCallState) bool + func (p *RecordPattern) ValuePropPattern(name string) (propPattern Pattern, isOptional bool, ok bool) + func (p *RecordPattern) ValuePropertyNames() []string + func (p *RecordPattern) WidestOfType() Value + func (patt *RecordPattern) IsMutable() bool + type RegexPattern struct + func NewRegexPattern(s string) *RegexPattern + func (p *RegexPattern) HasRegex() bool + func (p *RegexPattern) HasUnderlyingPattern() bool + func (p *RegexPattern) IteratorElementKey() Value + func (p *RegexPattern) IteratorElementValue() Value + func (p *RegexPattern) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (p *RegexPattern) StringPattern() (StringPattern, bool) + func (p *RegexPattern) SymbolicValue() Value + func (p *RegexPattern) Test(v Value, state RecTestCallState) bool + func (p *RegexPattern) TestValue(v Value, state RecTestCallState) bool + func (p *RegexPattern) WidestOfType() Value + func (patt *RegexPattern) IsMutable() bool + type RemovalMigrationOp struct + Value Pattern + type ReplacementMigrationOp struct + Current Pattern + Next Pattern + type ResourceName interface + ResourceName func() *String + type RingBuffer struct + func (RingBuffer *RingBuffer) GetGoMethod(name string) (*GoFunction, bool) + func (RingBuffer *RingBuffer) Prop(name string) Value + func (RingBuffer *RingBuffer) RingBuffer() *RingBuffer + func (RingBuffer) PropertyNames() []string + func (r *RingBuffer) IsMutable() bool + func (r *RingBuffer) IsSharable() (bool, string) + func (r *RingBuffer) IsShared() bool + func (r *RingBuffer) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (r *RingBuffer) Share(originState *State) PotentiallySharable + func (r *RingBuffer) Test(v Value, state RecTestCallState) bool + func (r *RingBuffer) WidestOfType() Value + func (r *RingBuffer) Writer() *Writer + type RunTimeValue struct + func NewRunTimeValue(value Value) *RunTimeValue + func (m *RunTimeValue) OriginalRunTimeValue() *RunTimeValue + func (rv *RunTimeValue) IsMutable() bool + func (rv *RunTimeValue) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (rv *RunTimeValue) Static() Pattern + func (rv *RunTimeValue) Test(v Value, state RecTestCallState) bool + func (rv *RunTimeValue) WidestOfType() Value + type Rune struct + func NewRune(r rune) *Rune + func (r *Rune) Concretize(ctx ConcreteContext) any + func (r *Rune) IsConcretizable() bool + func (r *Rune) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (r *Rune) Prop(name string) Value + func (r *Rune) PropertyNames() []string + func (r *Rune) Static() Pattern + func (r *Rune) Test(v Value, state RecTestCallState) bool + func (r *Rune) WidestOfType() Value + func (r Rune) IsMutable() bool + type RuneCount struct + func NewRuneCount(v int64) *RuneCount + func (c *RuneCount) Int64() (i *Int, signed bool) + func (c *RuneCount) IsConcretizable() bool + func (c *RuneCount) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (c *RuneCount) Static() Pattern + func (c *RuneCount) Test(v Value, state RecTestCallState) bool + func (c *RuneCount) WidestOfType() Value + func (count RuneCount) IsMutable() bool + type RuneRange struct + func (r *RuneRange) Contains(value Serializable) (bool, bool) + func (r *RuneRange) Element() Value + func (r *RuneRange) ElementAt(i int) Value + func (r *RuneRange) HasKnownLen() bool + func (r *RuneRange) IteratorElementKey() Value + func (r *RuneRange) IteratorElementValue() Value + func (r *RuneRange) KnownLen() int + func (r *RuneRange) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (r *RuneRange) Static() Pattern + func (r *RuneRange) Test(v Value, state RecTestCallState) bool + func (r *RuneRange) WidestOfType() Value + func (r RuneRange) IsMutable() bool + type RuneSlice struct + func NewRuneSlice() *RuneSlice + func (*RuneSlice) ElementAt(i int) Value + func (b *RuneSlice) WidestOfType() Value + func (s *RuneSlice) Concretize(ctx ConcreteContext) any + func (s *RuneSlice) Element() Value + func (s *RuneSlice) HasKnownLen() bool + func (s *RuneSlice) Insert(ctx *Context, v Value, i *Int) + func (s *RuneSlice) IsConcretizable() bool + func (s *RuneSlice) IteratorElementKey() Value + func (s *RuneSlice) IteratorElementValue() Value + func (s *RuneSlice) KnownLen() int + func (s *RuneSlice) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (s *RuneSlice) Prop(name string) Value + func (s *RuneSlice) PropertyNames() []string + func (s *RuneSlice) SetProp(name string, value Value) (IProps, error) + func (s *RuneSlice) SetSlice(ctx *Context, start, end *Int, v Sequence) + func (s *RuneSlice) TakeInMemorySnapshot() (*Snapshot, error) + func (s *RuneSlice) Test(v Value, state RecTestCallState) bool + func (s *RuneSlice) WatcherElement() Value + func (s *RuneSlice) WithExistingPropReplaced(name string, value Value) (IProps, error) + func (slice *RuneSlice) IsMutable() bool + type Scheme struct + func GetOrNewScheme(v string) *Scheme + func NewScheme(v string) *Scheme + func (s *Scheme) Concretize(ctx ConcreteContext) any + func (s *Scheme) IsConcretizable() bool + func (s *Scheme) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (s *Scheme) Static() Pattern + func (s *Scheme) Test(v Value, state RecTestCallState) bool + func (s *Scheme) WidestOfType() Value + func (scheme Scheme) IsMutable() bool + type ScopeData struct + Variables []VarData + type Secret struct + func NewSecret(value Value, pattern *SecretPattern) (*Secret, error) + func (*Secret) IsMutable() bool + func (r *Secret) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (r *Secret) Test(v Value, state RecTestCallState) bool + func (r *Secret) WidestOfType() Value + type SecretPattern struct + func NewSecretPattern(patt StringPattern) *SecretPattern + func (*SecretPattern) IsMutable() bool + func (pattern *SecretPattern) HasUnderlyingPattern() bool + func (pattern *SecretPattern) IteratorElementKey() Value + func (pattern *SecretPattern) IteratorElementValue() Value + func (pattern *SecretPattern) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (pattern *SecretPattern) StringPattern() (StringPattern, bool) + func (pattern *SecretPattern) SymbolicValue() Value + func (pattern *SecretPattern) Test(v Value, state RecTestCallState) bool + func (pattern *SecretPattern) TestValue(v Value, state RecTestCallState) bool + func (pattern *SecretPattern) WidestOfType() Value + type Sequence interface + type SequenceStringPattern struct + func NewSequenceStringPattern(node *parse.ComplexStringPatternPiece, chunk *parse.Chunk) *SequenceStringPattern + func (p *SequenceStringPattern) HasRegex() bool + func (p *SequenceStringPattern) HasUnderlyingPattern() bool + func (p *SequenceStringPattern) IteratorElementKey() Value + func (p *SequenceStringPattern) IteratorElementValue() Value + func (p *SequenceStringPattern) MatchGroups(v Value) (bool, map[string]Value) + func (p *SequenceStringPattern) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (p *SequenceStringPattern) StringPattern() (StringPattern, bool) + func (p *SequenceStringPattern) SymbolicValue() Value + func (p *SequenceStringPattern) Test(v Value, state RecTestCallState) bool + func (p *SequenceStringPattern) TestValue(v Value, state RecTestCallState) bool + func (p *SequenceStringPattern) WidestOfType() Value + func (patt *SequenceStringPattern) IsMutable() bool + type Serializable interface + func AsSerializableChecked(v Value) Serializable + func GetValueAtURL(u *URL, state *State) (Serializable, error) + func ValuesToSerializable(values []Value) []Serializable + type SerializableIterable interface + type SerializableMixin struct + type Snapshot struct + func (*Snapshot) IsMutable() bool + func (m *Snapshot) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (m *Snapshot) Prop(name string) Value + func (m *Snapshot) PropertyNames() []string + func (m *Snapshot) ReceiveSnapshot(Value) error + func (m *Snapshot) Test(v Value, state RecTestCallState) bool + func (m *Snapshot) WidestOfType() Value + type State struct + Module *Module + func MakeTestStateAndChunk(code string, globals ...map[string]Value) (*parse.Chunk, *State) + func MakeTestStateAndChunks(code string, includedFiles map[string]string, globals ...map[string]Value) (*parse.Chunk, *State) + func MakeTestStateAndImportedModules(code string, files map[string]string, globals ...map[string]Value) (*parse.Chunk, *State) + func (state *State) Errors() []SymbolicEvaluationError + func (state *State) Warnings() []SymbolicEvaluationWarning + type StaticCheckData struct + func (*StaticCheckData) PropertyNames() []string + func (d *StaticCheckData) Compute(ctx *Context, key Value) Value + func (d *StaticCheckData) GetGoMethod(name string) (*GoFunction, bool) + func (d *StaticCheckData) IsMutable() bool + func (d *StaticCheckData) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (d *StaticCheckData) Prop(name string) Value + func (d *StaticCheckData) SetProp(name string, value Value) (IProps, error) + func (d *StaticCheckData) Test(v Value, state RecTestCallState) bool + func (d *StaticCheckData) WithExistingPropReplaced(name string, value Value) (IProps, error) + func (m *StaticCheckData) WidestOfType() Value + type StaticDataHolder interface + AddStatic func(Pattern) (StaticDataHolder, error) + type StreamSink interface + ChunkedWritableStreamElement func() Value + WritableStreamElement func() Value + type StreamSource interface + ChunkedStreamElement func() Value + StreamElement func() Value + type String struct + func NewString(v string) *String + func NewStringMatchingPattern(p StringPattern) *String + func NewStringWithLengthRange(minLength, maxLength int64) *String + func (*String) ElementAt(i int) Value + func (f *String) WidestOfType() Value + func (p *String) PropertyNames() []string + func (s *String) Concretize(ctx ConcreteContext) any + func (s *String) Element() Value + func (s *String) GetOrBuildString() *String + func (s *String) HasKnownLen() bool + func (s *String) HasValue() bool + func (s *String) IsConcretizable() bool + func (s *String) IteratorElementKey() Value + func (s *String) IteratorElementValue() Value + func (s *String) KnownLen() int + func (s *String) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (s *String) Prop(name string) Value + func (s *String) Reader() *Reader + func (s *String) Static() Pattern + func (s *String) Test(v Value, state RecTestCallState) bool + func (s *String) Value() string + func (s String) IsMutable() bool + type StringConcatenation struct + func (c *StringConcatenation) Concretize(ctx ConcreteContext) any + func (c *StringConcatenation) Element() Value + func (c *StringConcatenation) ElementAt(i int) Value + func (c *StringConcatenation) GetOrBuildString() *String + func (c *StringConcatenation) HasKnownLen() bool + func (c *StringConcatenation) IsConcretizable() bool + func (c *StringConcatenation) IsMutable() bool + func (c *StringConcatenation) IteratorElementKey() Value + func (c *StringConcatenation) IteratorElementValue() Value + func (c *StringConcatenation) KnownLen() int + func (c *StringConcatenation) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (c *StringConcatenation) Prop(name string) Value + func (c *StringConcatenation) PropertyNames() []string + func (c *StringConcatenation) Reader() *Reader + func (c *StringConcatenation) Test(v Value, state RecTestCallState) bool + func (c *StringConcatenation) WidestOfType() Value + type StringLike interface + GetOrBuildString func() *String + type StringPattern interface + HasRegex func() bool + type StringType struct + func (t *StringType) Equal(v CompileTimeType, state RecTestCallState) bool + func (t *StringType) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (t *StringType) SymbolicValue() Value + func (t *StringType) TestValue(v Value, state RecTestCallState) bool + type Struct struct + func (*Struct) IsMutable() bool + func (s *Struct) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (s *Struct) Test(v Value, state RecTestCallState) bool + func (s *Struct) WidestOfType() Value + type StructField struct + Name string + Type CompileTimeType + type StructMethod struct + Name string + Value *InoxFunction + type StructType struct + func NewStructType(name string, fields []StructField, methods []StructMethod) *StructType + func (t *StructType) Equal(v CompileTimeType, state RecTestCallState) bool + func (t *StructType) Field(index int) StructField + func (t *StructType) FieldByName(name string) (StructField, bool) + func (t *StructType) FieldCount() int + func (t *StructType) Fields() []StructField + func (t *StructType) Method(index int) StructMethod + func (t *StructType) MethodCount() int + func (t *StructType) Name() (string, bool) + func (t *StructType) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (t *StructType) SymbolicValue() Value + func (t *StructType) TestValue(v Value, state RecTestCallState) bool + type Subscriber interface + ReceivePublication func(*Publication) error + type Subscription struct + func NewSubscription() *Subscription + func (*Subscription) IsMutable() bool + func (r *Subscription) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (r *Subscription) Test(v Value, state RecTestCallState) bool + func (r *Subscription) WidestOfType() Value + type SymbolicEvaluationError struct + LocatedMessage string + Location parse.SourcePositionStack + Message string + func (err SymbolicEvaluationError) Error() string + func (err SymbolicEvaluationError) LocationStack() parse.SourcePositionStack + func (err SymbolicEvaluationError) MessageWithoutLocation() string + type SymbolicEvaluationWarning struct + LocatedMessage string + Location parse.SourcePositionStack + Message string + type SynchronousMessageHandler struct + func NewMessageHandler() *SynchronousMessageHandler + func (*SynchronousMessageHandler) IsMutable() bool + func (l *SynchronousMessageHandler) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (l *SynchronousMessageHandler) Prop(name string) Value + func (l *SynchronousMessageHandler) ReceiveMessage(Value) error + func (l *SynchronousMessageHandler) Test(v Value, state RecTestCallState) bool + func (l *SynchronousMessageHandler) WidestOfType() Value + func (m *SynchronousMessageHandler) PropertyNames() []string + func (m *SynchronousMessageHandler) WatcherElement() Value + type SystemGraph struct + func NewSystemGraph() *SystemGraph + func (*SystemGraph) IsMutable() bool + func (g *SystemGraph) IsSharable() (bool, string) + func (g *SystemGraph) IsShared() bool + func (g *SystemGraph) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (g *SystemGraph) Prop(memberName string) Value + func (g *SystemGraph) PropertyNames() []string + func (g *SystemGraph) SetProp(name string, value Value) (IProps, error) + func (g *SystemGraph) Share(originState *State) PotentiallySharable + func (g *SystemGraph) TakeInMemorySnapshot() (*Snapshot, error) + func (g *SystemGraph) Test(v Value, state RecTestCallState) bool + func (g *SystemGraph) WatcherElement() Value + func (g *SystemGraph) WidestOfType() Value + func (g *SystemGraph) WithExistingPropReplaced(name string, value Value) (IProps, error) + type SystemGraphEdge struct + func NewSystemGraphEdge() *SystemGraphEdge + func (*SystemGraphEdge) IsMutable() bool + func (e *SystemGraphEdge) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (e *SystemGraphEdge) Prop(memberName string) Value + func (e *SystemGraphEdge) PropertyNames() []string + func (e *SystemGraphEdge) SetProp(name string, value Value) (IProps, error) + func (e *SystemGraphEdge) Test(v Value, state RecTestCallState) bool + func (e *SystemGraphEdge) WidestOfType() Value + func (e *SystemGraphEdge) WithExistingPropReplaced(name string, value Value) (IProps, error) + type SystemGraphEvent struct + func NewSystemGraphEvent() *SystemGraphEvent + func (*SystemGraphEvent) IsMutable() bool + func (n *SystemGraphEvent) IsSharable() (bool, string) + func (n *SystemGraphEvent) IsShared() bool + func (n *SystemGraphEvent) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (n *SystemGraphEvent) Prop(memberName string) Value + func (n *SystemGraphEvent) PropertyNames() []string + func (n *SystemGraphEvent) SetProp(name string, value Value) (IProps, error) + func (n *SystemGraphEvent) Share(originState *State) PotentiallySharable + func (n *SystemGraphEvent) Test(v Value, state RecTestCallState) bool + func (n *SystemGraphEvent) WidestOfType() Value + func (n *SystemGraphEvent) WithExistingPropReplaced(name string, value Value) (IProps, error) + type SystemGraphNode struct + func NewSystemGraphNode() *SystemGraphNode + func (*SystemGraphNode) IsMutable() bool + func (n *SystemGraphNode) IsSharable() (bool, string) + func (n *SystemGraphNode) IsShared() bool + func (n *SystemGraphNode) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (n *SystemGraphNode) Prop(memberName string) Value + func (n *SystemGraphNode) PropertyNames() []string + func (n *SystemGraphNode) SetProp(name string, value Value) (IProps, error) + func (n *SystemGraphNode) Share(originState *State) PotentiallySharable + func (n *SystemGraphNode) Test(v Value, state RecTestCallState) bool + func (n *SystemGraphNode) WidestOfType() Value + func (n *SystemGraphNode) WithExistingPropReplaced(name string, value Value) (IProps, error) + type SystemGraphNodes struct + func NewSystemGraphNodes() *SystemGraphNodes + func (*SystemGraphNodes) IsMutable() bool + func (d *SystemGraphNodes) IteratorElementKey() Value + func (d *SystemGraphNodes) IteratorElementValue() Value + func (d *SystemGraphNodes) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (d *SystemGraphNodes) WidestOfType() Value + func (g *SystemGraphNodes) Test(v Value, state RecTestCallState) bool + func (n *SystemGraphNodes) IsSharable() (bool, string) + func (n *SystemGraphNodes) IsShared() bool + func (n *SystemGraphNodes) Share(originState *State) PotentiallySharable + type TestCase struct + func (*TestCase) PropertyNames() []string + func (c *TestCase) IsMutable() bool + func (s *TestCase) GetGoMethod(name string) (*GoFunction, bool) + func (s *TestCase) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (s *TestCase) Prop(name string) Value + func (s *TestCase) Test(v Value, state RecTestCallState) bool + func (s *TestCase) WidestOfType() Value + type TestSuite struct + func (*TestSuite) PropertyNames() []string + func (s *TestSuite) GetGoMethod(name string) (*GoFunction, bool) + func (s *TestSuite) IsMutable() bool + func (s *TestSuite) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (s *TestSuite) Prop(name string) Value + func (s *TestSuite) Run(ctx *Context, options ...*Option) (*LThread, *Error) + func (s *TestSuite) Test(v Value, state RecTestCallState) bool + func (s *TestSuite) WidestOfType() Value + type TestedProgram struct + func (*TestedProgram) IsMutable() bool + func (*TestedProgram) PropertyNames() []string + func (t *TestedProgram) Cancel(*Context) + func (t *TestedProgram) GetGoMethod(name string) (*GoFunction, bool) + func (t *TestedProgram) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (t *TestedProgram) Prop(name string) Value + func (t *TestedProgram) Test(v Value, state RecTestCallState) bool + func (t *TestedProgram) WidestOfType() Value + type Token struct + func (*Token) PropertyNames() []string + func (n *Token) Test(v Value, state RecTestCallState) bool + func (r *Token) Prop(name string) Value + func (t *Token) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (t *Token) WidestOfType() Value + func (t Token) IsMutable() bool + type Transaction struct + func (tx *Transaction) Commit(ctx *Context) *Error + func (tx *Transaction) GetGoMethod(name string) (*GoFunction, bool) + func (tx *Transaction) IsMutable() bool + func (tx *Transaction) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (tx *Transaction) Prop(name string) Value + func (tx *Transaction) PropertyNames() []string + func (tx *Transaction) Rollback(ctx *Context) *Error + func (tx *Transaction) Start(ctx *Context) *Error + func (tx *Transaction) Test(v Value, state RecTestCallState) bool + func (tx *Transaction) WidestOfType() Value + type Treedata struct + func (*Treedata) WalkerElement() Value + func (*Treedata) WalkerNodeMeta() Value + func (i *Treedata) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (i *Treedata) Test(v Value, state RecTestCallState) bool + func (i *Treedata) WidestOfType() Value + func (u *Treedata) IsMutable() bool + type TreedataHiearchyEntry struct + func (e TreedataHiearchyEntry) IsMutable() bool + func (i *TreedataHiearchyEntry) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (i *TreedataHiearchyEntry) Test(v Value, state RecTestCallState) bool + func (i *TreedataHiearchyEntry) WidestOfType() Value + type Tuple struct + func NewTuple(elements ...Serializable) *Tuple + func NewTupleOf(generalElement Serializable) *Tuple + func (t *Tuple) Concretize(ctx ConcreteContext) any + func (t *Tuple) Contains(value Serializable) (bool, bool) + func (t *Tuple) Element() Value + func (t *Tuple) ElementAt(i int) Value + func (t *Tuple) HasKnownLen() bool + func (t *Tuple) IsConcretizable() bool + func (t *Tuple) IteratorElementKey() Value + func (t *Tuple) IteratorElementValue() Value + func (t *Tuple) KnownLen() int + func (t *Tuple) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (t *Tuple) Static() Pattern + func (t *Tuple) Test(v Value, state RecTestCallState) bool + func (t *Tuple) WidestOfType() Value + func (tuple *Tuple) IsMutable() bool + type TuplePattern struct + func NewTuplePattern(elements []Pattern) *TuplePattern + func NewTuplePatternOf(generalElement Pattern) *TuplePattern + func (p *TuplePattern) Concretize(ctx ConcreteContext) any + func (p *TuplePattern) HasUnderlyingPattern() bool + func (p *TuplePattern) IsConcretizable() bool + func (p *TuplePattern) IteratorElementKey() Value + func (p *TuplePattern) IteratorElementValue() Value + func (p *TuplePattern) MigrationInitialValue() (Serializable, bool) + func (p *TuplePattern) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (p *TuplePattern) StringPattern() (StringPattern, bool) + func (p *TuplePattern) SymbolicValue() Value + func (p *TuplePattern) Test(v Value, state RecTestCallState) bool + func (p *TuplePattern) TestValue(v Value, state RecTestCallState) bool + func (p *TuplePattern) WidestOfType() Value + func (patt *TuplePattern) IsMutable() bool + type Type struct + Type reflect.Type + func (t *Type) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (t *Type) Test(v Value, state RecTestCallState) bool + func (t *Type) WidestOfType() Value + func (t Type) IsMutable() bool + type TypeExtension struct + ExtendedPattern Pattern + Id string + PropertyExpressions []propertyExpression + Statement *parse.ExtendStatement + type TypePattern struct + func NewTypePattern(value Value, call func(ctx *Context, values []Value) (Pattern, error), ...) *TypePattern + func (p *TypePattern) Call(ctx *Context, values []Value) (Pattern, error) + func (p *TypePattern) HasUnderlyingPattern() bool + func (p *TypePattern) IteratorElementKey() Value + func (p *TypePattern) IteratorElementValue() Value + func (p *TypePattern) MigrationInitialValue() (Serializable, bool) + func (p *TypePattern) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (p *TypePattern) StringPattern() (StringPattern, bool) + func (p *TypePattern) SymbolicValue() Value + func (p *TypePattern) Test(v Value, state RecTestCallState) bool + func (p *TypePattern) TestValue(v Value, state RecTestCallState) bool + func (p *TypePattern) WidestOfType() Value + func (patt *TypePattern) Concretize(ctx ConcreteContext) any + func (patt *TypePattern) IsConcretizable() bool + func (pattern *TypePattern) IsMutable() bool + type ULID struct + func NewULID(v ulid.ULID) *ULID + func (*ULID) IsMutable() bool + func (i *ULID) Concretize(ctx ConcreteContext) any + func (i *ULID) HasValue() bool + func (i *ULID) IsConcretizable() bool + func (i *ULID) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (i *ULID) Static() Pattern + func (i *ULID) Test(v Value, state RecTestCallState) bool + func (i *ULID) Value() ulid.ULID + func (i *ULID) WidestOfType() Value + type URL struct + func NewUrl(v string) *URL + func NewUrlMatchingPattern(p *URLPattern) *URL + func (u *URL) Concretize(ctx ConcreteContext) any + func (u *URL) IsConcretizable() bool + func (u *URL) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (u *URL) Prop(name string) Value + func (u *URL) PropertyNames() []string + func (u *URL) ResourceName() *String + func (u *URL) Static() Pattern + func (u *URL) Test(v Value, state RecTestCallState) bool + func (u *URL) WidestOfType() Value + func (u *URL) WithAdditionalPathPatternSegment(segment string) *URL + func (u *URL) WithAdditionalPathSegment(segment string) *URL + func (u URL) IsMutable() bool + type URLPattern struct + func NewUrlPattern(v string) *URLPattern + func NewUrlPatternFromNode(n parse.Node, chunk *parse.Chunk) *URLPattern + func (*URLPattern) Prop(name string) Value + func (p *URLPattern) Concretize(ctx ConcreteContext) any + func (p *URLPattern) HasUnderlyingPattern() bool + func (p *URLPattern) IsConcretizable() bool + func (p *URLPattern) IteratorElementKey() Value + func (p *URLPattern) IteratorElementValue() Value + func (p *URLPattern) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (p *URLPattern) PropertyNames() []string + func (p *URLPattern) Static() Pattern + func (p *URLPattern) StringPattern() (StringPattern, bool) + func (p *URLPattern) SymbolicValue() Value + func (p *URLPattern) Test(v Value, state RecTestCallState) bool + func (p *URLPattern) TestValue(v Value, state RecTestCallState) bool + func (p *URLPattern) WidestOfType() Value + func (p *URLPattern) WithAdditionalPathSegment(segment string) *URLPattern + func (patt URLPattern) IsMutable() bool + type UUIDv4 struct + func NewUUID(v uuid.UUID) *UUIDv4 + func (*UUIDv4) IsMutable() bool + func (i *UUIDv4) Concretize(ctx ConcreteContext) any + func (i *UUIDv4) HasValue() bool + func (i *UUIDv4) IsConcretizable() bool + func (i *UUIDv4) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (i *UUIDv4) Static() Pattern + func (i *UUIDv4) Test(v Value, state RecTestCallState) bool + func (i *UUIDv4) Value() uuid.UUID + func (i *UUIDv4) WidestOfType() Value + type UnassignablePropsMixin struct + func (UnassignablePropsMixin) SetProp(name string, value Value) (IProps, error) + func (UnassignablePropsMixin) WithExistingPropReplaced(name string, value Value) (IProps, error) + type UnionPattern struct + func NewDisjointStringUnionPattern(cases ...string) (*UnionPattern, error) + func NewUnionPattern(cases []Pattern, disjoint bool) (*UnionPattern, error) + func (p *UnionPattern) Cases() []Pattern + func (p *UnionPattern) HasUnderlyingPattern() bool + func (p *UnionPattern) IteratorElementKey() Value + func (p *UnionPattern) IteratorElementValue() Value + func (p *UnionPattern) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (p *UnionPattern) StringPattern() (StringPattern, bool) + func (p *UnionPattern) SymbolicValue() Value + func (p *UnionPattern) Test(v Value, state RecTestCallState) bool + func (p *UnionPattern) TestValue(v Value, state RecTestCallState) bool + func (p *UnionPattern) WidestOfType() Value + func (patt *UnionPattern) IsMutable() bool + type UrlHolder interface + URL func() (*URL, bool) + WithURL func(url *URL) UrlHolder + type Value interface + IsMutable func() bool + PrettyPrint func(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + Test func(v Value, state RecTestCallState) bool + WidestOfType func() Value + func AsIprops(v Value) Value + func AsSerializable(v Value) Value + func AsStringLike(v Value) Value + func GetGoMethodOrPanic(name string, v GoValue) Value + func MergeValuesWithSameStaticTypeInMultivalue(v Value) Value + func SerializablesToValues(serializables []Serializable) []Value + func ShareOrClone(v Value, originState *State) (Value, error) + func SymbolicEval(node parse.Node, state *State) (result Value, finalErr error) + type ValueHistory struct + func NewValueHistory() *ValueHistory + func (*ValueHistory) IsMutable() bool + func (*ValueHistory) PropertyNames() []string + func (h *ValueHistory) ForgetLast(ctx *Context) + func (h *ValueHistory) GetGoMethod(name string) (*GoFunction, bool) + func (h *ValueHistory) IsSharable() (bool, string) + func (h *ValueHistory) IsShared() bool + func (h *ValueHistory) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (h *ValueHistory) Prop(name string) Value + func (h *ValueHistory) SetProp(name string, value Value) (IProps, error) + func (h *ValueHistory) Share(originState *State) PotentiallySharable + func (h *ValueHistory) Test(v Value, state RecTestCallState) bool + func (h *ValueHistory) ValueAt(ctx *Context, d *DateTime) Value + func (h *ValueHistory) WidestOfType() Value + func (h *ValueHistory) WithExistingPropReplaced(name string, value Value) (IProps, error) + type ValuePath interface + GetFrom func(v Value) (result Value, alwaysPresent bool, err error) + type ValuePathSegment interface + SegmentGetFrom func(v Value) (result Value, alwaysPresent bool, err error) + type VarData struct + DefinitionPosition parse.SourcePositionRange + Name string + Value Value + type Walkable interface + WalkerElement func() Value + WalkerNodeMeta func() Value + type Walker struct + func (r *Walker) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (r *Walker) Test(v Value, state RecTestCallState) bool + func (r *Walker) WidestOfType() Value + func (w *Walker) IsMutable() bool + type Watchable interface + WatcherElement func() Value + type Watcher struct + func NewWatcher(filter Pattern) *Watcher + func (r *Watcher) ChunkedStreamElement() Value + func (r *Watcher) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (r *Watcher) StreamElement() Value + func (r *Watcher) Test(v Value, state RecTestCallState) bool + func (r *Watcher) WatcherElement() Value + func (r *Watcher) WidestOfType() Value + func (w *Watcher) IsMutable() bool + type WrappedBytes interface + type WrappedString interface + type Writable interface + Writer func() *Writer + type WritableStream struct + func NewWritableStream(element Value) *WritableStream + func (r *WritableStream) ChunkedWritableStreamElement() Value + func (r *WritableStream) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (r *WritableStream) Test(v Value, state RecTestCallState) bool + func (r *WritableStream) WidestOfType() Value + func (r *WritableStream) WritableStreamElement() Value + func (s *WritableStream) IsMutable() bool + type Writer struct + func (*Writer) IsMutable() bool + func (*Writer) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (*Writer) WidestOfType() Value + func (Writer *Writer) Writer() *Writer + func (Writer) PropertyNames() []string + func (w *Writer) GetGoMethod(name string) (*GoFunction, bool) + func (w *Writer) Prop(name string) Value + func (w *Writer) ReadAll() (*ByteSlice, *Error) + func (w *Writer) Test(v Value, state RecTestCallState) bool + type XMLElement struct + func NewXmlElement(name string, attributes map[string]Value, children []Value) *XMLElement + func (*XMLElement) IsMutable() bool + func (e *XMLElement) Attributes() map[string]Value + func (e *XMLElement) Children() []Value + func (e *XMLElement) Name() string + func (r *XMLElement) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (r *XMLElement) Test(v Value, state RecTestCallState) bool + func (r *XMLElement) WidestOfType() Value + func (r *XMLElement) Writer() *Writer + type XMLInterpolationCheckingFunction func(n parse.Node, value Value) (errorMsg string) + type Year struct + func NewYear(v time.Time) *Year + func (d *Year) Concretize(ctx ConcreteContext) any + func (d *Year) IsConcretizable() bool + func (d *Year) PrettyPrint(w pprint.PrettyPrintWriter, config *pprint.PrettyPrintConfig) + func (d *Year) Static() Pattern + func (d *Year) Test(v Value, state RecTestCallState) bool + func (d *Year) WidestOfType() Value + func (d Year) IsMutable() bool