mindyn.nim
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200 201 202 203 204 205 206 207 208 209 210 211 212 213 214 215 216 217 218 219 |
{.pragma: rtl, exportc, dynlib, cdecl.}
# Everything below here is to interface with the main program
# Import for the missing types (Look into importing just type definitions)
import
lexbase,
streams,
critbits,
json,
os
type
MinTokenKind* = enum
tkError,
tkEof,
tkString,
tkInt,
tkFloat,
tkBracketLe,
tkBracketRi,
tkSymbol,
tkTrue,
tkFalse
MinKind* = enum
minInt,
minFloat,
minQuotation,
minString,
minSymbol,
minBool
MinEventKind* = enum ## enumeration of all events that may occur when parsing
eMinError, ## an error ocurred during parsing
eMinEof, ## end of file reached
eMinString, ## a string literal
eMinInt, ## an integer literal
eMinFloat, ## a float literal
eMinQuotationStart, ## start of an array: the ``(`` token
eMinQuotationEnd ## start of an array: the ``)`` token
MinParserError* = enum ## enumeration that lists all errors that can occur
errNone, ## no error
errInvalidToken, ## invalid token
errStringExpected, ## string expected
errBracketRiExpected, ## ``)`` expected
errQuoteExpected, ## ``"`` or ``'`` expected
errEOC_Expected, ## ``*/`` expected
errEofExpected, ## EOF expected
errExprExpected
MinParserState* = enum
stateEof,
stateStart,
stateQuotation,
stateExpectValue
MinParser* = object of BaseLexer
a*: string
token*: MinTokenKind
state*: seq[MinParserState]
kind*: MinEventKind
err*: MinParserError
filename*: string
MinValue* = ref MinValueObject
MinValueObject* = object
line*: int
column*: int
filename*: string
case kind*: MinKind
of minInt: intVal*: BiggestInt
of minFloat: floatVal*: BiggestFloat
of minQuotation:
qVal*: seq[MinValue]
scope*: ref MinScope
of minString: strVal*: string
of minSymbol: symVal*: string
of minBool: boolVal*: bool
MinScope* = object
symbols*: CritBitTree[MinOperator]
sigils*: CritBitTree[MinOperator]
parent*: ref MinScope
name*: string
stack*: MinStack
MinOperatorProc* = proc (i: In) {.closure.}
MinOperatorKind* = enum
minProcOp
minValOp
MinOperator* = object
sealed*: bool
case kind*: MinOperatorKind
of minProcOp:
prc*: MinOperatorProc
of minValOp:
val*: MinValue
MinStack* = seq[MinValue]
In* = var MinInterpreter
MinInterpreter* = object
stack*: MinStack
trace*: MinStack
stackcopy*: MinStack
pwd*: string
scope*: ref MinScope
parser*: MinParser
currSym*: MinValue
filename*: string
evaluating*: bool
MinParsingError* = ref object of ValueError
MinUndefinedError* = ref object of ValueError
MinEmptyStackError* = ref object of ValueError
MinInvalidError* = ref object of ValueError
MinOutOfBoundsError* = ref object of ValueError
# parser.nim
proc raiseInvalid(msg: string) {.importc, extern:"min_exported_symbol_$1".}
proc raiseUndefined(msg: string) {.importc, extern:"min_exported_symbol_$1".}
proc raiseOutOfBounds(msg: string) {.importc, extern:"min_exported_symbol_$1".}
proc raiseEmptyStack() {.importc, extern:"min_exported_symbol_$1".}
proc newScope(parent: ref MinScope): MinScope {.importc, extern:"min_exported_symbol_$1".}
proc newScopeRef(parent: ref MinScope): ref MinScope {.importc, extern:"min_exported_symbol_$1".}
proc open(my: var MinParser, input: Stream, filename: string) {.importc, extern:"min_exported_symbol_$1".}
proc close(my: var MinParser) {.importc, extern:"min_exported_symbol_$1".}
proc getInt(my: MinParser): int {.importc, extern:"min_exported_symbol_$1".}
proc getFloat(my: MinParser): float {.importc, extern:"min_exported_symbol_$1".}
proc kind(my: MinParser): MinEventKind {.importc, extern:"min_exported_symbol_$1".}
proc getColumn(my: MinParser): int {.importc, extern:"min_exported_symbol_$1".}
proc getLine(my: MinParser): int {.importc, extern:"min_exported_symbol_$1".}
proc getFilename(my: MinParser): string {.importc, extern:"min_exported_symbol_$1".}
proc errorMsg(my: MinParser, msg: string): string {.importc, extern:"min_exported_symbol_$1".}
proc errorMsg(my: MinParser): string {.importc, extern:"min_exported_symbol_$1_2".}
proc errorMsgExpected(my: MinParser, e: string): string {.importc, extern:"min_exported_symbol_$1".}
proc raiseParsing(p: MinParser, msg: string) {.importc, extern:"min_exported_symbol_$1".}
proc raiseUndefined(p:MinParser, msg: string) {.importc, extern:"min_exported_symbol_$1_2".}
proc getToken(my: var MinParser): MinTokenKind {.importc, extern:"min_exported_symbol_$1".}
proc next(my: var MinParser) {.importc, extern:"min_exported_symbol_$1".}
proc eat(p: var MinParser, token: MinTokenKind) {.importc, extern:"min_exported_symbol_$1".}
proc parseMinValue(p: var MinParser, i: In): MinValue {.importc, extern:"min_exported_symbol_$1".}
proc `$`(a: MinValue): string {.importc, extern:"min_exported_symbol_$1".}
proc `$$`(a: MinValue): string {.importc, extern:"min_exported_symbol_$1".}
proc print(a: MinValue) {.importc, extern:"min_exported_symbol_$1".}
proc `==`(a: MinValue, b: MinValue): bool {.importc, extern:"min_exported_symbol_eqeq".}
# value.nim
proc typeName*(v: MinValue): string {.importc, extern:"min_exported_symbol_$1".}
proc isSymbol*(s: MinValue): bool {.importc, extern:"min_exported_symbol_$1".}
proc isQuotation*(s: MinValue): bool {.importc, extern:"min_exported_symbol_$1".}
proc isString*(s: MinValue): bool {.importc, extern:"min_exported_symbol_$1".}
proc isFloat*(s: MinValue): bool {.importc, extern:"min_exported_symbol_$1".}
proc isInt*(s: MinValue): bool {.importc, extern:"min_exported_symbol_$1".}
proc isNumber*(s: MinValue): bool {.importc, extern:"min_exported_symbol_$1".}
proc isBool*(s: MinValue): bool {.importc, extern:"min_exported_symbol_$1".}
proc isStringLike*(s: MinValue): bool {.importc, extern:"min_exported_symbol_$1".}
proc isDictionary*(q: MinValue): bool {.importc, extern:"min_exported_symbol_$1".}
proc newVal*(s: string): MinValue {.importc, extern:"min_exported_symbol_$1".}
proc newVal*(s: cstring): MinValue {.importc, extern:"min_exported_symbol_$1_2".}
proc newVal*(q: seq[MinValue], parentScope: ref MinScope): MinValue {.importc, extern:"min_exported_symbol_$1_3".}
proc newVal*(s: BiggestInt): MinValue {.importc, extern:"min_exported_symbol_$1_4".}
proc newVal*(s: BiggestFloat): MinValue {.importc, extern:"min_exported_symbol_$1_5".}
proc newVal*(s: bool): MinValue {.importc, extern:"min_exported_symbol_$1_6".}
proc newSym*(s: string): MinValue {.importc, extern:"min_exported_symbol_$1".}
proc getFloat*(v: MinValue): float {.importc, extern:"min_exported_symbol_$1".}
proc getString*(v: MinValue): string {.importc, extern:"min_exported_symbol_$1".}
# utils.nim
proc define*(i: In): ref MinScope {.importc, extern:"min_exported_symbol_$1".}
proc symbol*(scope: ref MinScope, sym: string, p: MinOperatorProc) {.importc, extern:"min_exported_symbol_$1".}
proc symbol*(scope: ref MinScope, sym: string, v: MinValue) {.importc, extern:"min_exported_symbol_$1_2".}
proc sigil*(scope: ref MinScope, sym: string, p: MinOperatorProc) {.importc, extern:"min_exported_symbol_$1".}
proc sigil*(scope: ref MinScope, sym: string, v: MinValue) {.importc, extern:"min_exported_symbol_$1_2".}
proc finalize*(scope: ref MinScope, name: string) {.importc, extern:"min_exported_symbol_$1".}
proc dget*(q: MinValue, s: MinValue): MinValue {.importc, extern:"min_exported_symbol_$1".}
proc dhas*(q: MinValue, s: MinValue): bool {.importc, extern:"min_exported_symbol_$1".}
proc ddel*(i: In, p: MinValue, s: MinValue): MinValue {.importc, extern:"min_exported_symbol_$1".}
proc dset*(i: In, p: MinValue, s: MinValue, m: MinValue): MinValue {.importc, extern:"min_exported_symbol_$1".}
proc keys*(i: In, q: MinValue): MinValue {.importc, extern:"min_exported_symbol_$1".}
proc values*(i: In, q: MinValue): MinValue {.importc, extern:"min_exported_symbol_$1".}
proc `%`*(a: MinValue): JsonNode {.importc, extern:"min_exported_symbol_percent".}
proc fromJson*(i: In, json: JsonNode): MinValue {.importc, extern:"min_exported_symbol_$1".}
proc reverse[T](xs: openarray[T]): seq[T] {.importc, extern:"min_exported_symbol_$1".}
proc expect*(i: var MinInterpreter, elements: varargs[string]): seq[MinValue] {.importc, extern:"min_exported_symbol_$1".}
proc reqQuotationOfQuotations*(i: var MinInterpreter, a: var MinValue) {.importc, extern:"min_exported_symbol_$1".}
proc reqQuotationOfNumbers*(i: var MinInterpreter, a: var MinValue) {.importc, extern:"min_exported_symbol_$1".}
proc reqQuotationOfSymbols*(i: var MinInterpreter, a: var MinValue) {.importc, extern:"min_exported_symbol_$1".}
proc reqTwoNumbersOrStrings*(i: var MinInterpreter, a, b: var MinValue) {.importc, extern:"min_exported_symbol_$1".}
proc reqStringOrQuotation*(i: var MinInterpreter, a: var MinValue) {.importc, extern:"min_exported_symbol_$1".}
proc reqTwoQuotationsOrStrings*(i: var MinInterpreter, a, b: var MinValue) {.importc, extern:"min_exported_symbol_$1".}
proc reqTwoSimilarTypesNonSymbol*(i: var MinInterpreter, a, b: var MinValue) {.importc, extern:"min_exported_symbol_$1".}
# scope.nim
proc copy*(s: ref MinScope): ref MinScope {.importc, extern:"min_exported_symbol_$1".}
proc getSymbol*(scope: ref MinScope, key: string): MinOperator {.importc, extern:"min_exported_symbol_$1".}
proc hasSymbol*(scope: ref MinScope, key: string): bool {.importc, extern:"min_exported_symbol_$1".}
proc delSymbol*(scope: ref MinScope, key: string): bool {.importc, extern:"min_exported_symbol_$1".}
proc setSymbol*(scope: ref MinScope, key: string, value: MinOperator, override = false): bool {.importc, extern:"min_exported_symbol_$1".}
proc getSigil*(scope: ref MinScope, key: string): MinOperator {.importc, extern:"min_exported_symbol_$1".}
proc hasSigil*(scope: ref MinScope, key: string): bool {.importc, extern:"min_exported_symbol_$1".}
proc previous*(scope: ref MinScope): ref MinScope {.importc, extern:"min_exported_symbol_$1".}
# interpreter.nim
proc raiseRuntime*(msg: string, qVal: var seq[MinValue]) {.importc, extern:"min_exported_symbol_$1".}
proc dump*(i: MinInterpreter): string {.importc, extern:"min_exported_symbol_$1".}
proc debug*(i: In, value: MinValue) {.importc, extern:"min_exported_symbol_$1".}
proc debug*(i: In, value: string) {.importc, extern:"min_exported_symbol_$1_2".}
proc newMinInterpreter*(filename: string): MinInterpreter {.importc, extern:"min_exported_symbol_$1".}
proc copy*(i: MinInterpreter, filename: string): MinInterpreter {.importc, extern:"min_exported_symbol_$1_2".}
proc formatError(sym: MinValue, message: string): string {.importc, extern:"min_exported_symbol_$1".}
proc formatTrace(sym: MinValue): string {.importc, extern:"min_exported_symbol_$1".}
proc stackTrace(i: In) {.importc, extern:"min_exported_symbol_$1".}
proc error(i: In, message: string) {.importc, extern:"min_exported_symbol_$1".}
proc open*(i: In, stream:Stream, filename: string) {.importc, extern:"min_exported_symbol_$1_2".}
proc close*(i: In) {.importc, extern:"min_exported_symbol_$1_2".}
proc apply*(i: In, op: MinOperator) {.importc, extern:"min_exported_symbol_$1".}
proc push*(i: In, val: MinValue) {.importc, extern:"min_exported_symbol_$1".}
proc dequote*(i: In, q: var MinValue) {.importc, extern:"min_exported_symbol_$1".}
proc apply*(i: In, q: var MinValue) {.importc, extern:"min_exported_symbol_$1_2".}
proc pop*(i: In): MinValue {.importc, extern:"min_exported_symbol_$1".}
proc peek*(i: MinInterpreter): MinValue {.importc, extern:"min_exported_symbol_$1".}
proc interpret*(i: In): MinValue {.importc, extern:"min_exported_symbol_$1".}
proc eval*(i: In, s: string, name: string) {.importc, extern:"min_exported_symbol_$1".}
proc load*(i: In, s: string) {.importc, extern:"min_exported_symbol_$1".}
# fileutils.nim
proc filetype*(p: PathComponent): string {.importc, extern:"min_exported_symbol_$1".}
proc unixPermissions*(s: set[FilePermission]): int {.importc, extern:"min_exported_symbol_$1".}
proc toFilePermissions*(p: BiggestInt): set[FilePermission] {.importc, extern:"min_exported_symbol_$1".}
|