CBS-beta

Beta-release of the CBS framework

CBS-beta on GitHubplancomps.github.io/CBS-beta/

FunCons Dojo Agenda

Abstract

Introduction

Hand-out

Using the Spoofax-Funcons IDE

N.B. Not yet fully developed, nor efficient enough for general use…

Open the Eclipse application Funcons/Spoofax-Funcons


Using the CBS editor

Build CBSEditor

This can take a few minutes… (plugin not yet available)

Clean project SL-cbs

This can take a few minutes…

Open SL-Start/SL-Start.cbs

To avoid premature analysis: Spoofax (meta): Delay editor analysis by 5s

Spoofax: Generate: Language editor

Any missing or outdated SLEditor files are regenerated.

Open SL-Start/index.html


Using the generated SL editor

Clean project SLEditor

Any flagged errors need to corrected before proceeding.

Build CBSEditor

This can take a few minutes… (plugin not yet available)

Open SL-2-Expressions/tests/HelloWorld.sl

Any syntax errors are flagged.

Spoofax: Generation: Generate funcons

The generated funcon term appears in HelloWorld.fct


Using DynSem to interpret a funcon term

Open SL-2-Expressions/tests/HelloWorld.fct

Run: Run configurations...

The result should appear in the Console, and correspond to SL-2-Expressions/tests/HelloWorld.output (apart from a NullV() at the end).

For subsequent interpretation of funcon terms, just click the green Run button in the bar of icons.