mirror of https://github.com/teverse/teverse
Compare commits
No commits in common. "a2fbd3032d09c3d475bce41a5907529fb9800ee1" and "a9b9d0dec612cdd884045254e9743cb2d87285f1" have entirely different histories.
a2fbd3032d
...
a9b9d0dec6
|
|
@ -1,431 +0,0 @@
|
|||
-- MIT License
|
||||
--
|
||||
-- Copyright (c) 2018 LoganDark
|
||||
--
|
||||
-- Permission is hereby granted, free of charge, to any person obtaining a copy
|
||||
-- of this software and associated documentation files (the "Software"), to deal
|
||||
-- in the Software without restriction, including without limitation the rights
|
||||
-- to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
|
||||
-- copies of the Software, and to permit persons to whom the Software is
|
||||
-- furnished to do so, subject to the following conditions:
|
||||
--
|
||||
-- The above copyright notice and this permission notice shall be included in all
|
||||
-- copies or substantial portions of the Software.
|
||||
--
|
||||
-- THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
|
||||
-- IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
|
||||
-- FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
|
||||
-- AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
|
||||
-- LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
|
||||
-- OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
|
||||
-- SOFTWARE.
|
||||
|
||||
function lookupify(src, list)
|
||||
list = list or {}
|
||||
|
||||
if type(src) == 'string' then
|
||||
for i = 1, src:len() do
|
||||
list[src:sub(i, i)] = true
|
||||
end
|
||||
elseif type(src) == 'table' then
|
||||
for i = 1, #src do
|
||||
list[src[i]] = true
|
||||
end
|
||||
end
|
||||
|
||||
return list
|
||||
end
|
||||
|
||||
local base_ident = 'abcdefghijklmnopqrstuvwxyzABCDEFGHIJKLMNOPQRSTUVWXYZ_'
|
||||
local base_digits = '0123456789'
|
||||
local base_operators = '+-*/^%#'
|
||||
|
||||
local chars = {
|
||||
whitespace = lookupify(' \n\t\r'),
|
||||
validEscapes = lookupify('abfnrtv"\'\\'),
|
||||
ident = lookupify(
|
||||
base_ident .. base_digits,
|
||||
{
|
||||
start = lookupify(base_ident),
|
||||
}
|
||||
),
|
||||
|
||||
digits = lookupify(
|
||||
base_digits,
|
||||
{
|
||||
hex = lookupify(base_digits .. 'abcdefABCDEF')
|
||||
}
|
||||
),
|
||||
|
||||
symbols = lookupify(
|
||||
base_operators .. ',{}[]();.:', {
|
||||
equality = lookupify('~=><'),
|
||||
operators = lookupify(base_operators)
|
||||
}
|
||||
)
|
||||
}
|
||||
|
||||
local keywords = {
|
||||
structure = lookupify({
|
||||
'and', 'break', 'do', 'else', 'elseif', 'end', 'for', 'function',
|
||||
'goto', 'if', 'in', 'local', 'not', 'or', 'repeat', 'return', 'then',
|
||||
'until', 'while'
|
||||
}),
|
||||
|
||||
values = lookupify({
|
||||
'true', 'false', 'nil'
|
||||
})
|
||||
}
|
||||
|
||||
return function(text)
|
||||
local pos = 1
|
||||
local start = 1
|
||||
local buffer = {}
|
||||
local lines = {}
|
||||
|
||||
local function look(delta)
|
||||
delta = pos + (delta or 0)
|
||||
|
||||
return text:sub(delta, delta)
|
||||
end
|
||||
|
||||
local function get()
|
||||
pos = pos + 1
|
||||
|
||||
return look(-1)
|
||||
end
|
||||
|
||||
local function getDataLevel()
|
||||
local num = 0
|
||||
|
||||
while look(num) == '=' do
|
||||
num = num + 1
|
||||
end
|
||||
|
||||
if look(num) == '[' then
|
||||
pos = pos + num + 1
|
||||
|
||||
return num
|
||||
end
|
||||
end
|
||||
|
||||
local function getCurrentTokenText()
|
||||
return text:sub(start, pos - 1)
|
||||
end
|
||||
|
||||
local currentLineLength = 0
|
||||
local lineoffset = 0
|
||||
|
||||
local function pushToken(type, text)
|
||||
text = text or getCurrentTokenText()
|
||||
|
||||
local tk = buffer[#buffer]
|
||||
|
||||
if not tk or tk.type ~= type then
|
||||
tk = {
|
||||
type = type,
|
||||
data = text,
|
||||
posFirst = start - lineoffset,
|
||||
posLast = pos - 1 - lineoffset
|
||||
}
|
||||
|
||||
if tk.data ~= '' then
|
||||
buffer[#buffer + 1] = tk
|
||||
end
|
||||
else
|
||||
tk.data = tk.data .. text
|
||||
tk.posLast = tk.posLast + text:len()
|
||||
end
|
||||
|
||||
currentLineLength = currentLineLength + text:len()
|
||||
start = pos
|
||||
|
||||
return tk
|
||||
end
|
||||
|
||||
local function newline()
|
||||
lines[#lines + 1] = buffer
|
||||
buffer = {}
|
||||
|
||||
get()
|
||||
pushToken('newline')
|
||||
buffer[1] = nil
|
||||
|
||||
lineoffset = lineoffset + currentLineLength
|
||||
currentLineLength = 0
|
||||
end
|
||||
|
||||
local function getData(level, type)
|
||||
while true do
|
||||
local char = get()
|
||||
|
||||
if char == '' then
|
||||
return
|
||||
elseif char == '\n' then
|
||||
pos = pos - 1
|
||||
pushToken(type)
|
||||
newline()
|
||||
elseif char == ']' then
|
||||
local valid = true
|
||||
|
||||
for i = 1, level do
|
||||
if look() == '=' then
|
||||
pos = pos + 1
|
||||
else
|
||||
valid = false
|
||||
break
|
||||
end
|
||||
end
|
||||
|
||||
if valid and look() == ']' then
|
||||
pos = pos - level - 1
|
||||
|
||||
return
|
||||
end
|
||||
end
|
||||
end
|
||||
end
|
||||
|
||||
local function chompWhitespace()
|
||||
while true do
|
||||
local char = look()
|
||||
|
||||
if char == '\n' then
|
||||
pushToken('whitespace')
|
||||
newline()
|
||||
elseif chars.whitespace[char] then
|
||||
pos = pos + 1
|
||||
else
|
||||
break
|
||||
end
|
||||
end
|
||||
|
||||
pushToken('whitespace')
|
||||
end
|
||||
|
||||
while true do
|
||||
chompWhitespace()
|
||||
|
||||
local char = get()
|
||||
|
||||
if char == '' then
|
||||
break
|
||||
elseif char == '-' and look() == '-' then
|
||||
pos = pos + 1
|
||||
|
||||
if look() == '[' then
|
||||
pos = pos + 1
|
||||
|
||||
local level = getDataLevel()
|
||||
|
||||
if level then
|
||||
getData(level, 'comment')
|
||||
|
||||
pos = pos + level + 2
|
||||
pushToken('comment')
|
||||
else
|
||||
while true do
|
||||
local char2 = get()
|
||||
|
||||
if char2 == '' or char2 == '\n' then
|
||||
pos = pos - 1
|
||||
pushToken('comment')
|
||||
|
||||
if char2 == '\n' then
|
||||
newline()
|
||||
end
|
||||
|
||||
break
|
||||
end
|
||||
end
|
||||
end
|
||||
else
|
||||
while true do
|
||||
local char2 = get()
|
||||
|
||||
if char2 == '' or char2 == '\n' then
|
||||
pos = pos - 1
|
||||
pushToken('comment')
|
||||
|
||||
if char2 == '\n' then
|
||||
newline()
|
||||
end
|
||||
|
||||
break
|
||||
end
|
||||
end
|
||||
end
|
||||
|
||||
pushToken('comment')
|
||||
elseif char == '\'' or char == '"' then
|
||||
pushToken('string_start')
|
||||
|
||||
while true do
|
||||
local char2 = get()
|
||||
|
||||
if char2 == '\\' then
|
||||
pos = pos - 1
|
||||
pushToken('string')
|
||||
get()
|
||||
|
||||
local char3 = get()
|
||||
|
||||
if chars.digits[char3] then
|
||||
for i = 1, 2 do
|
||||
if chars.digits[look()] then
|
||||
pos = pos + 1
|
||||
end
|
||||
end
|
||||
elseif char3 == 'x' then
|
||||
if chars.digits.hex[look()] and chars.digits.hex[look(1)] then
|
||||
pos = pos + 2
|
||||
else
|
||||
pushToken('unidentified')
|
||||
end
|
||||
elseif char3 == '\n' then
|
||||
pos = pos - 1
|
||||
pushToken('escape')
|
||||
newline()
|
||||
elseif not chars.validEscapes[char3] then
|
||||
pushToken('unidentified')
|
||||
end
|
||||
|
||||
pushToken('escape')
|
||||
elseif char2 == '\n' then
|
||||
pos = pos - 1
|
||||
pushToken('string')
|
||||
newline()
|
||||
|
||||
break
|
||||
elseif char2 == char or char2 == '' then
|
||||
pos = pos - 1
|
||||
pushToken('string')
|
||||
get()
|
||||
|
||||
break
|
||||
end
|
||||
end
|
||||
|
||||
pushToken('string_end')
|
||||
elseif chars.ident.start[char] then
|
||||
while chars.ident[look()] do
|
||||
pos = pos + 1
|
||||
end
|
||||
|
||||
local word = getCurrentTokenText()
|
||||
|
||||
if keywords.structure[word] then
|
||||
pushToken('keyword')
|
||||
elseif keywords.values[word] then
|
||||
pushToken('value')
|
||||
else
|
||||
pushToken('ident')
|
||||
end
|
||||
elseif chars.digits[char] or (char == '.' and chars.digits[look()]) then
|
||||
if char == '0' and look() == 'x' then
|
||||
pos = pos + 1
|
||||
|
||||
while chars.digits.hex[look()] do
|
||||
pos = pos + 1
|
||||
end
|
||||
else
|
||||
while chars.digits[look()] do
|
||||
pos = pos + 1
|
||||
end
|
||||
|
||||
if look() == '.' then
|
||||
pos = pos + 1
|
||||
|
||||
while chars.digits[look()] do
|
||||
pos = pos + 1
|
||||
end
|
||||
end
|
||||
|
||||
if look():lower() == 'e' then
|
||||
pos = pos + 1
|
||||
|
||||
if look() == '-' then
|
||||
pos = pos + 1
|
||||
end
|
||||
|
||||
while chars.digits[look()] do
|
||||
pos = pos + 1
|
||||
end
|
||||
end
|
||||
end
|
||||
|
||||
pushToken('number')
|
||||
elseif char == '[' then
|
||||
local level = getDataLevel()
|
||||
|
||||
if level then
|
||||
pushToken('string_start')
|
||||
|
||||
getData(level, 'string')
|
||||
pushToken('string')
|
||||
|
||||
pos = pos + level + 2
|
||||
pushToken('string_end')
|
||||
else
|
||||
pushToken('symbol')
|
||||
end
|
||||
elseif char == '.' then
|
||||
if look() == '.' then
|
||||
pos = pos + 1
|
||||
|
||||
if look() == '.' then
|
||||
pos = pos + 1
|
||||
end
|
||||
end
|
||||
|
||||
if getCurrentTokenText():len() == 3 then
|
||||
pushToken('vararg')
|
||||
else
|
||||
pushToken('symbol')
|
||||
end
|
||||
elseif char == ':' and look() == ':' then
|
||||
get()
|
||||
|
||||
pushToken('label_start')
|
||||
|
||||
chompWhitespace()
|
||||
|
||||
if chars.ident.start[look()] then
|
||||
get()
|
||||
|
||||
while chars.ident[look()] do
|
||||
get()
|
||||
end
|
||||
|
||||
pushToken('label')
|
||||
|
||||
chompWhitespace()
|
||||
|
||||
if look() == ':' and look(1) == ':' then
|
||||
get()
|
||||
get()
|
||||
|
||||
pushToken('label_end')
|
||||
end
|
||||
end
|
||||
elseif chars.symbols.equality[char] then
|
||||
if look() == '=' then
|
||||
pos = pos + 1
|
||||
end
|
||||
|
||||
pushToken('operator')
|
||||
elseif chars.symbols[char] then
|
||||
if chars.symbols.operators[char] then
|
||||
pushToken('operator')
|
||||
else
|
||||
pushToken('symbol')
|
||||
end
|
||||
else
|
||||
pushToken('unidentified')
|
||||
end
|
||||
end
|
||||
|
||||
lines[#lines + 1] = buffer
|
||||
|
||||
return lines
|
||||
end
|
||||
|
|
@ -1,51 +0,0 @@
|
|||
local lex = require("tevgit:core/editor/lexer.lua")
|
||||
local theme = require("tevgit:core/editor/theme/default.lua")
|
||||
|
||||
local editor = teverse.construct("guiRichTextBox", {
|
||||
parent = teverse.interface,
|
||||
size = guiCoord(1, 0, 1, -100),
|
||||
position = guiCoord(0, 0, 0, 50),
|
||||
text = "local test = 10 + 10\n\n",
|
||||
textWrap = true,
|
||||
textFont = "tevurl:fonts/firaCodeRegular.otf",
|
||||
textEditable = true
|
||||
})
|
||||
|
||||
local function doLex()
|
||||
editor:clearColours()
|
||||
editor.backgroundColour = theme.background
|
||||
editor.textColour = theme.foreground
|
||||
|
||||
local lines = lex(editor.text)
|
||||
local index = 0
|
||||
local lastColour = nil
|
||||
for lineNumber, line in pairs(lines) do
|
||||
local lineCount = 0
|
||||
for _, token in pairs(line) do
|
||||
local c = theme[token.type]
|
||||
if c and lastColour ~= c then
|
||||
editor:setColour(index + token.posFirst, c)
|
||||
lastColour = c
|
||||
end
|
||||
|
||||
lineCount = token.posLast
|
||||
end
|
||||
index = index + lineCount
|
||||
end
|
||||
end
|
||||
|
||||
-- Highlight any pre-entered text
|
||||
doLex()
|
||||
|
||||
local lastStroke = nil
|
||||
editor:on("keyUp", function()
|
||||
if lastStroke then
|
||||
return
|
||||
end
|
||||
|
||||
-- Limit lexxer to once very 0.2 seconds (every keystroke is inefficient)
|
||||
lastStroke = true
|
||||
sleep(0.2)
|
||||
doLex()
|
||||
lastStroke = nil
|
||||
end)
|
||||
|
|
@ -1,44 +0,0 @@
|
|||
-- This file uses colours from https://ethanschoonover.com/solarized/
|
||||
|
||||
local colours = {
|
||||
Base0 = colour.rgb(131, 148, 150),
|
||||
Base1 = colour.rgb(147, 161, 161),
|
||||
Base2 = colour.rgb(238, 232, 213),
|
||||
Base3 = colour.rgb(253, 246, 227),
|
||||
|
||||
Base00 = colour.rgb(101, 123, 131),
|
||||
Base01 = colour.rgb(88, 110, 117),
|
||||
Base02 = colour.rgb(7, 54, 66),
|
||||
Base03 = colour.rgb(0, 43, 54),
|
||||
|
||||
Yellow = colour.rgb(181, 137, 0),
|
||||
Orange = colour.rgb(203, 75, 22),
|
||||
Red = colour.rgb(220, 50, 47),
|
||||
Magenta = colour.rgb(211, 54, 130),
|
||||
Violet = colour.rgb(108, 113, 196),
|
||||
Blue = colour.rgb(38, 139, 210),
|
||||
Cyan = colour.rgb(42, 161, 152),
|
||||
Green = colour.rgb(133, 153, 0),
|
||||
}
|
||||
|
||||
return {
|
||||
background = colours.Base03,
|
||||
foreground = colours.Base0,
|
||||
|
||||
comment = colours.Base01,
|
||||
string_start = colours.Cyan,
|
||||
string_end = colours.Cyan,
|
||||
string = colours.Cyan,
|
||||
escape = colours.Blue,
|
||||
keyword = colours.Green,
|
||||
value = colours.Green,
|
||||
ident = colours.Blue,
|
||||
number = colours.Magenta,
|
||||
symbol = colours.Base1,
|
||||
vararg = colours.Red,
|
||||
operator = colours.Green,
|
||||
label_start = colours.Red,
|
||||
label_end = colours.Red,
|
||||
label = colours.Red,
|
||||
unidentified = colours.Base01
|
||||
}
|
||||
Loading…
Reference in New Issue