2013-06-26 02:44:11 +04:00
|
|
|
<html>
|
2013-07-20 23:23:46 +04:00
|
|
|
<style>
|
|
|
|
|
|
|
|
|
|
#bootstrap {
|
|
|
|
|
display: none;
|
|
|
|
|
}
|
|
|
|
|
#bootstrap[shown] {
|
|
|
|
|
display: block;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
.command {
|
|
|
|
|
padding-left: 5px;
|
|
|
|
|
padding-right: 5px;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
.command:hover {
|
|
|
|
|
background: #eee;
|
|
|
|
|
cursor: hand;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
.command:empty:after {
|
|
|
|
|
content: "input code here...";
|
|
|
|
|
opacity: 0.5;
|
|
|
|
|
}
|
|
|
|
|
.command:focus:before {
|
|
|
|
|
position: absolute;
|
|
|
|
|
content: "ctrl+enter to run";
|
|
|
|
|
opacity: 0.3;
|
|
|
|
|
right: 15px;
|
|
|
|
|
}
|
|
|
|
|
.command:focus:after {
|
|
|
|
|
opacity: 0.2;
|
|
|
|
|
}
|
2013-07-23 01:09:10 +04:00
|
|
|
.command:last-child {
|
|
|
|
|
border: red 2px solid;
|
|
|
|
|
border-radius: 5px;
|
|
|
|
|
box-shadow: 2px 2px 5px 0px silver;
|
|
|
|
|
}
|
2013-07-20 23:23:46 +04:00
|
|
|
|
2013-07-23 00:37:17 +04:00
|
|
|
.error {
|
|
|
|
|
color: red;
|
|
|
|
|
font-style: italic;
|
|
|
|
|
}
|
2013-07-20 23:23:46 +04:00
|
|
|
.output {
|
|
|
|
|
font-weight: bold;
|
|
|
|
|
}
|
2013-07-23 00:37:17 +04:00
|
|
|
.error:before,
|
2013-07-20 23:23:46 +04:00
|
|
|
.output:before {
|
|
|
|
|
content: ">";
|
2013-07-23 00:37:17 +04:00
|
|
|
color: red;
|
2013-07-20 23:23:46 +04:00
|
|
|
font-weight: bold;
|
|
|
|
|
margin: 5px;
|
|
|
|
|
}
|
2013-07-23 00:37:17 +04:00
|
|
|
.output:before {
|
|
|
|
|
color: blue;
|
|
|
|
|
}
|
2013-07-20 23:23:46 +04:00
|
|
|
|
2013-12-30 05:07:53 +04:00
|
|
|
#words {
|
|
|
|
|
font-family: monospace;
|
|
|
|
|
}
|
2013-07-20 23:23:46 +04:00
|
|
|
|
2013-12-30 09:25:28 +04:00
|
|
|
.word[word-type=constant] {
|
|
|
|
|
font-weight: bold;
|
|
|
|
|
color: red;
|
|
|
|
|
}
|
|
|
|
|
.word[word-type=builtin] {
|
2013-12-30 06:06:45 +04:00
|
|
|
font-style: italic;
|
|
|
|
|
color: blue;
|
|
|
|
|
}
|
|
|
|
|
|
2013-07-20 23:23:46 +04:00
|
|
|
#stack {
|
|
|
|
|
opacity: 0.8;
|
|
|
|
|
}
|
|
|
|
|
|
2013-12-30 23:12:26 +04:00
|
|
|
|
|
|
|
|
/* syntax... */
|
|
|
|
|
|
|
|
|
|
pre .comment {
|
|
|
|
|
font-style: italic;
|
|
|
|
|
color: gray;
|
|
|
|
|
}
|
|
|
|
|
pre :not(.comment) {
|
|
|
|
|
font-weight: bold;
|
|
|
|
|
}
|
|
|
|
|
pre :not(.comment) .string {
|
|
|
|
|
font-style: italic;
|
|
|
|
|
color: blue;
|
|
|
|
|
}
|
|
|
|
|
pre :not(.comment) .word {
|
|
|
|
|
font-weight: bold;
|
|
|
|
|
color: blue;
|
|
|
|
|
}
|
|
|
|
|
|
2013-07-20 23:23:46 +04:00
|
|
|
</style>
|
2013-06-26 02:44:11 +04:00
|
|
|
<script src="slang.js"></script>
|
2013-07-20 23:23:46 +04:00
|
|
|
|
|
|
|
|
<script>
|
|
|
|
|
|
2013-12-30 04:54:40 +04:00
|
|
|
function stringifySlangCode(code){
|
2013-12-30 06:06:45 +04:00
|
|
|
if(code == null){
|
|
|
|
|
return code
|
|
|
|
|
}
|
2013-12-30 05:07:53 +04:00
|
|
|
if(typeof(code) == typeof('str') && /\s/.test(code)){
|
|
|
|
|
return '\''+code+'\''
|
2016-12-10 03:08:03 +03:00
|
|
|
} else if(code && code.constructor.name == 'Array'){
|
2013-12-30 05:07:53 +04:00
|
|
|
return '[ '+code.map(stringifySlangCode).join(' ')+' ]'
|
2013-12-30 04:54:40 +04:00
|
|
|
}
|
|
|
|
|
return code
|
|
|
|
|
}
|
|
|
|
|
|
2013-07-20 23:23:46 +04:00
|
|
|
function runCommand(){
|
|
|
|
|
var stack = document.getElementById('stack')
|
|
|
|
|
var console = document.getElementById('console')
|
|
|
|
|
var commands = document.getElementsByClassName('command')
|
|
|
|
|
var command = commands[commands.length-1]
|
|
|
|
|
command.removeAttribute('contenteditable')
|
|
|
|
|
|
|
|
|
|
command.addEventListener('click', function(e){
|
|
|
|
|
var commands = document.getElementsByClassName('command')
|
|
|
|
|
var c = commands[commands.length-1]
|
|
|
|
|
c.innerText = command.innerText
|
|
|
|
|
c.focus()
|
2014-02-10 09:05:10 +04:00
|
|
|
window.scrollTo(0,document.body.scrollHeight)
|
2013-07-20 23:23:46 +04:00
|
|
|
}, false)
|
|
|
|
|
|
|
|
|
|
try{
|
2013-12-30 04:54:40 +04:00
|
|
|
stack.innerText = 'stack: ' + stringifySlangCode(slang(command.innerText))
|
2013-07-20 23:23:46 +04:00
|
|
|
|
|
|
|
|
} catch(e) {
|
2013-12-30 05:07:53 +04:00
|
|
|
stack.innerText = 'stack: ' + stringifySlangCode(CONTEXT.stack)
|
2013-07-20 23:23:46 +04:00
|
|
|
var err = document.createElement('div')
|
|
|
|
|
err.classList.add('error')
|
|
|
|
|
if(e.message != null){
|
|
|
|
|
err.innerText = e.message
|
|
|
|
|
} else {
|
|
|
|
|
err.innerText = e
|
|
|
|
|
}
|
|
|
|
|
console.appendChild(err)
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
// create the next element...
|
|
|
|
|
var next = document.createElement('div')
|
|
|
|
|
next.classList.add('command')
|
|
|
|
|
next.setAttribute('contenteditable', true)
|
|
|
|
|
console.appendChild(next)
|
|
|
|
|
next.focus()
|
2014-02-10 05:26:24 +04:00
|
|
|
|
|
|
|
|
window.scrollTo(0,document.body.scrollHeight)
|
2013-07-20 23:23:46 +04:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
NAMESPACE.print = function(context){
|
|
|
|
|
var c = document.getElementById('console')
|
|
|
|
|
var o = context.stack[context.stack.length-1]
|
|
|
|
|
console.log('>>>', o)
|
|
|
|
|
|
|
|
|
|
var data = document.createElement('div')
|
|
|
|
|
data.classList.add('output')
|
2013-12-30 09:10:32 +04:00
|
|
|
data.innerHTML = stringifySlangCode(o)
|
2013-07-20 23:23:46 +04:00
|
|
|
c.appendChild(data)
|
|
|
|
|
}
|
|
|
|
|
|
2013-07-23 00:37:17 +04:00
|
|
|
// XXX should this break exec?
|
2013-07-20 23:23:46 +04:00
|
|
|
NAMESPACE.err = function(context){
|
2013-07-23 00:37:17 +04:00
|
|
|
var c = document.getElementById('console')
|
|
|
|
|
var e = context.stack[context.stack.length-1]
|
|
|
|
|
console.error('>>>', e)
|
|
|
|
|
|
|
|
|
|
var err = document.createElement('div')
|
|
|
|
|
err.classList.add('error')
|
|
|
|
|
if(e.message != null){
|
|
|
|
|
err.innerText = e.message
|
|
|
|
|
} else {
|
|
|
|
|
err.innerText = e
|
|
|
|
|
}
|
|
|
|
|
c.appendChild(err)
|
2013-07-20 23:23:46 +04:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
function toggleBootstrapCode(){
|
|
|
|
|
var bootstrap = document.getElementById('bootstrap')
|
|
|
|
|
if(bootstrap.hasAttribute('shown')){
|
|
|
|
|
bootstrap.removeAttribute('shown')
|
|
|
|
|
} else {
|
2014-06-27 16:28:17 +04:00
|
|
|
bootstrap.setAttribute('shown', true)
|
2013-07-20 23:23:46 +04:00
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
2013-12-30 04:54:40 +04:00
|
|
|
function showAvailableWords(){
|
2013-12-30 05:07:53 +04:00
|
|
|
document.getElementById('words').innerHTML = Object.keys(NAMESPACE)
|
|
|
|
|
.sort()
|
|
|
|
|
.filter(function(e){
|
|
|
|
|
// skip words starting with '_'...
|
|
|
|
|
if(e[0] == '_'){
|
|
|
|
|
return false
|
|
|
|
|
}
|
|
|
|
|
return true
|
|
|
|
|
})
|
|
|
|
|
.map(function(e){
|
|
|
|
|
var code = NAMESPACE[e]
|
2013-12-30 09:25:28 +04:00
|
|
|
var type
|
2016-12-10 03:08:03 +03:00
|
|
|
if(code && code.constructor.name == 'Array'){
|
2013-12-30 09:25:28 +04:00
|
|
|
type = 'word'
|
2013-12-30 05:07:53 +04:00
|
|
|
code = stringifySlangCode(code)
|
2013-12-30 06:06:45 +04:00
|
|
|
} else if(typeof(code) == typeof(function(){})){
|
2013-12-30 09:25:28 +04:00
|
|
|
type = 'builtin'
|
|
|
|
|
} else {
|
|
|
|
|
type = 'constant'
|
2013-12-30 05:07:53 +04:00
|
|
|
}
|
2013-12-30 09:25:28 +04:00
|
|
|
return '<span class="word" word-type="'+type+'" title="'+code+'">'+e+'</span>'
|
2013-12-30 05:07:53 +04:00
|
|
|
})
|
2013-12-30 09:10:32 +04:00
|
|
|
.join(' ')
|
2013-12-30 04:54:40 +04:00
|
|
|
}
|
|
|
|
|
|
2013-07-20 23:23:46 +04:00
|
|
|
|
|
|
|
|
</script>
|
|
|
|
|
|
2013-06-26 02:44:11 +04:00
|
|
|
<body>
|
2013-07-20 23:23:46 +04:00
|
|
|
<h1>Slang</h1>
|
|
|
|
|
<a href="#" onclick="toggleBootstrapCode()">Toggle bootstrap code view...</a>
|
|
|
|
|
<div id="bootstrap"></div>
|
2013-12-30 04:54:40 +04:00
|
|
|
<h2>Available words</h2>
|
2013-12-30 09:25:28 +04:00
|
|
|
<p>
|
|
|
|
|
This section includes constants (red) ond constant-like
|
|
|
|
|
words (words that allways yield the same value),
|
|
|
|
|
built-in words (blue), and 2'nd gen words (black):
|
|
|
|
|
</p>
|
2013-12-30 04:54:40 +04:00
|
|
|
<p id="words"></p>
|
2013-07-20 23:23:46 +04:00
|
|
|
<h2>Slang Console</h2>
|
|
|
|
|
<div id="console">
|
|
|
|
|
<div class="command" contenteditable="true"></div>
|
|
|
|
|
</div>
|
|
|
|
|
<div id="stack"></div>
|
2013-06-26 02:44:11 +04:00
|
|
|
</body>
|
|
|
|
|
<script>
|
2013-12-30 23:12:26 +04:00
|
|
|
var bootstrap = BOOTSTRAP
|
|
|
|
|
// basic HTML compatibility stuff...
|
|
|
|
|
.replace(/&/g, '&')
|
|
|
|
|
.replace(/>/g, '>')
|
|
|
|
|
.replace(/</g, '<')
|
|
|
|
|
// very basic syntax highlighting...
|
|
|
|
|
// comments...
|
|
|
|
|
.replace(/(\(.*)-(.*\))/g, '<span class="comment">$1−$2</span>')
|
|
|
|
|
.replace(/(\([^\)]*\))/g, '<span class="comment">$1</span>')
|
|
|
|
|
.replace(/(\s*--.*\n)/g, '<span class="comment">$1</span>')
|
|
|
|
|
/*
|
|
|
|
|
Object.keys(NAMESPACE).forEach(function(k){
|
|
|
|
|
bootstrap = bootstrap.replace(
|
|
|
|
|
RegExp('('+k
|
|
|
|
|
.replace('&', '&')
|
|
|
|
|
.replace('<', '<')
|
|
|
|
|
.replace('>', '>')
|
|
|
|
|
.replace(/([\|\[\]\.\*\/\\\?\+\-])/g, '\\$1')+')', 'g'),
|
|
|
|
|
'<span class="word">$1</span>')
|
|
|
|
|
})
|
|
|
|
|
*/
|
|
|
|
|
document.getElementById('bootstrap').innerHTML='<pre>'+bootstrap+'</pre>'
|
2013-07-20 23:23:46 +04:00
|
|
|
|
|
|
|
|
document.getElementById('console')
|
|
|
|
|
.addEventListener("keyup", function(e) {
|
|
|
|
|
if(e.keyCode == 13 && e.ctrlKey){
|
|
|
|
|
runCommand()
|
2013-12-30 04:54:40 +04:00
|
|
|
showAvailableWords()
|
2013-07-20 23:23:46 +04:00
|
|
|
}
|
|
|
|
|
}, false);
|
|
|
|
|
|
2013-12-30 04:54:40 +04:00
|
|
|
showAvailableWords()
|
|
|
|
|
|
2013-06-26 02:44:11 +04:00
|
|
|
</script>
|
|
|
|
|
</html>
|
