Serialized Form


Package se.chalmers.cs.gf

Class se.chalmers.cs.gf.GFException extends java.lang.RuntimeException implements Serializable


Package se.chalmers.cs.gf.abssyn

Class se.chalmers.cs.gf.abssyn.Fun extends Tree implements Serializable

Serialized Fields

label

java.lang.String label

children

Tree[] children

Class se.chalmers.cs.gf.abssyn.IntLiteral extends Tree implements Serializable

Serialized Fields

value

int value

Class se.chalmers.cs.gf.abssyn.MetaVariable extends Tree implements Serializable

Serialized Fields

type

java.lang.String type

Class se.chalmers.cs.gf.abssyn.StringLiteral extends Tree implements Serializable

Serialized Fields

value

java.lang.String value

Class se.chalmers.cs.gf.abssyn.Tree extends java.lang.Object implements Serializable

Serialized Fields

inputRanges

java.util.Set<E> inputRanges

Package se.chalmers.cs.gf.gfcutil

Class se.chalmers.cs.gf.gfcutil.Function extends java.lang.Object implements Serializable

Serialized Fields

name

java.lang.String name

argCats

java.util.List<E> argCats

resultCat

java.lang.String resultCat

Class se.chalmers.cs.gf.gfcutil.GFCModule extends java.lang.Object implements Serializable

Serialized Fields

name

java.lang.String name
Module name.


type

ModuleType type
Ttype of this module.


abstractModule

java.lang.String abstractModule
The abstract module that this module is for. null if this module is not concrete.


rules

java.util.Map<K,V> rules
Maps function names to linearization rules.


funs

java.util.Map<K,V> funs
Maps function names to functions.


inherited

java.util.Map<K,V> inherited
Maps all inherited names to the modules that they are inherited from.


allModules

java.util.Map<K,V> allModules
Maps module names to modules.

Class se.chalmers.cs.gf.gfcutil.Inherited extends java.lang.Object implements Serializable

Serialized Fields

name

java.lang.String name

module

java.lang.String module

Class se.chalmers.cs.gf.gfcutil.LinRule extends java.lang.Object implements Serializable

Serialized Fields

name

java.lang.String name
Name of the function that this linearization rule is for.


param

se.chalmers.cs.gf.GFC.Absyn.ListArgVar param
The list of arguments to this linearization rule.


term

se.chalmers.cs.gf.GFC.Absyn.Term term
The linearization rule body.


Package se.chalmers.cs.gf.linearize

Class se.chalmers.cs.gf.linearize.GFCLinearizer extends java.lang.Object implements Serializable

Serialized Fields

module

GFCModule module

toTokens

ValueVisitor<R,A> toTokens

Class se.chalmers.cs.gf.linearize.GFCMLinearizers extends Linearizers implements Serializable

Class se.chalmers.cs.gf.linearize.Linearizers extends java.lang.Object implements Serializable

Serialized Fields

map

java.util.Map<K,V> map
Maps concrete grammar names (language names) to linearizers.


Package se.chalmers.cs.gf.translategui

Class se.chalmers.cs.gf.translategui.TranslateApplet extends javax.swing.JApplet implements Serializable

Class se.chalmers.cs.gf.translategui.TranslatePanel extends javax.swing.JPanel implements Serializable

Serialized Fields

translator

Translator translator

input

javax.swing.JTextField input

output

javax.swing.JTextArea output

inputLang

javax.swing.JComboBox inputLang

outputLang

javax.swing.JComboBox outputLang

preview

javax.swing.JCheckBox preview