g2d.npa

Class Syntax

java.lang.Object

g2d.npa.Syntax

public class Syntax
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
Algebra	attackAlgebra
Algebra	baseAlgebra
java.lang.String[][]	declarations
java.lang.String[][]	edges
static Syntax	example
Algebra	knowledgeAlgebra
Sort	knowledgeSort
Term	knowledgeTemplate
java.lang.String[][]	operators
java.lang.String[]	sorts
Algebra	strandAlgebra
Sort	strandSort
Term	strandTemplate
java.lang.String[][]	subsorter

Constructor Summary

Constructors

Constructor and Description
Syntax(java.lang.String[] sorts, java.lang.String[][] edges, java.lang.String[][] declarations)
Syntax(java.lang.String[] sorts, java.lang.String[][] edges, java.lang.String[][] declarations, java.lang.String[][] subsorter, java.lang.String[][] ops)

Method Summary

Modifier and Type	Method and Description
static void	main(java.lang.String[] args)
java.lang.String	makeDotInput()
java.awt.image.BufferedImage	makeImage()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

sorts

public final java.lang.String[] sorts

edges

public final java.lang.String[][] edges

declarations

public final java.lang.String[][] declarations

subsorter

public final java.lang.String[][] subsorter

operators

public final java.lang.String[][] operators

baseAlgebra

public final Algebra baseAlgebra

knowledgeAlgebra

public final Algebra knowledgeAlgebra

knowledgeSort

public final Sort knowledgeSort

knowledgeTemplate

public final Term knowledgeTemplate

strandAlgebra

public final Algebra strandAlgebra

strandSort

public final Sort strandSort

strandTemplate

public final Term strandTemplate

attackAlgebra

public final Algebra attackAlgebra

example

public static final Syntax example

Constructor Detail

Syntax

public Syntax(java.lang.String[] sorts,
              java.lang.String[][] edges,
              java.lang.String[][] declarations,
              java.lang.String[][] subsorter,
              java.lang.String[][] ops)

Syntax

public Syntax(java.lang.String[] sorts,
              java.lang.String[][] edges,
              java.lang.String[][] declarations)

Method Detail

makeDotInput

public java.lang.String makeDotInput()

makeImage

public java.awt.image.BufferedImage makeImage()

main

public static void main(java.lang.String[] args)