Serialized Form

Package Raptor

Class Raptor.Justification extends java.lang.Object implements Serializable

Serialized Fields

lines

java.util.List<E> lines

extraLines

java.util.List<E> extraLines

programLine

ProgramLine programLine

symbol

java.lang.String symbol

Class Raptor.PanSignature extends java.lang.Object implements Serializable

Serialized Fields

predicates

java.util.List<E> predicates

constants

java.util.List<E> constants

functions

java.util.List<E> functions

variables

java.util.List<E> variables

vvars

java.util.List<E> vvars

plvars

java.util.List<E> plvars

llvars

java.util.List<E> llvars

skolems

java.util.List<E> skolems

pvars

java.util.List<E> pvars

bvars

java.util.List<E> bvars

varDecs

java.util.List<E> varDecs

arrayDecs

java.util.List<E> arrayDecs

aarrays

java.util.List<E> aarrays

boolDecs

java.util.List<E> boolDecs

parrays

java.util.List<E> parrays

blahs

java.util.List<E> blahs

methodDecs

java.util.List<E> methodDecs

Class Raptor.ParseInputController extends java.lang.Object implements Serializable

Serialized Fields

view

View view

error

java.lang.String error

pre

Formula pre

post

Formula post

program

Statements program

Class Raptor.ProgramLine extends ProofItem implements Serializable

Serialized Fields

progLineNum

int progLineNum

statements

Statements statements

used

boolean used

pLineLabel

javax.swing.JLabel pLineLabel

statementLabel

javax.swing.JLabel statementLabel

fillLabel

javax.swing.JLabel fillLabel

Class Raptor.ProofBox extends ProofItem implements Serializable

Serialized Fields

proofItems

java.util.List<E> proofItems

nextBox

ProofBox nextBox

olderSiblingBox

ProofBox olderSiblingBox

boxStarted

boolean boxStarted

proved

boolean proved

displayItems

boolean displayItems

displayBorder

boolean displayBorder

dashedBox

boolean dashedBox

vertical

boolean vertical

firstLine

int firstLine

lastLine

int lastLine

signature

PanSignature signature

skolem

int skolem

unknownCount

int unknownCount

invCount

int invCount

Class Raptor.ProofItem extends java.lang.Object implements Serializable

Serialized Fields

selected

boolean selected

parentWindow

ProofWindow parentWindow

parentBox

ProofBox parentBox

lineNum

int lineNum

itemPanel

javax.swing.JPanel itemPanel

lineLabel

javax.swing.JLabel lineLabel

emptyLabel

javax.swing.JLabel emptyLabel

Class Raptor.ProofLine extends ProofItem implements Serializable

Serialized Fields

lineNum

int lineNum

formula

Formula formula

justification

Justification justification

lineComment

java.lang.String lineComment

lineLabel

javax.swing.JLabel lineLabel

formulaLabel

javax.swing.JLabel formulaLabel

justLabel

javax.swing.JLabel justLabel

Class Raptor.ProofWindow extends javax.swing.JPanel implements Serializable

Serialized Fields

view

View view

Prog

java.lang.String Prog

PreCond

java.lang.String PreCond

PostCond

java.lang.String PostCond

inProof

boolean inProof

tempProofLines

java.util.List<E> tempProofLines

TMProofLines

java.util.List<E> TMProofLines

undoList

java.util.List<E> undoList

redoList

java.util.List<E> redoList

savedBox

ProofBox savedBox

sidebar

javax.swing.JPanel sidebar

proofArea

javax.swing.JPanel proofArea

mainBoxDisplayer

javax.swing.JPanel mainBoxDisplayer

eb

javax.swing.JPanel eb

func

javax.swing.JPanel func

rb

javax.swing.JPanel rb

ie

javax.swing.JPanel ie

qie

javax.swing.JPanel qie

rule

javax.swing.JButton rule

boxScroll

javax.swing.JScrollPane boxScroll

tempSource

javax.swing.JButton tempSource

tempV

int tempV

tempVLock

boolean tempVLock

tempH

int tempH

tempHLock

boolean tempHLock

pre

javax.swing.JTextField pre

program

javax.swing.JTextPane program

post

javax.swing.JTextField post

sigShow

boolean sigShow

sigToolbar

javax.swing.JToolBar sigToolbar

pred

javax.swing.JTextPane pred

constant

javax.swing.JTextPane constant

function

javax.swing.JTextPane function

bool

javax.swing.JTextPane bool

bbools

javax.swing.JTextPane bbools

variable

javax.swing.JTextPane variable

skolem

javax.swing.JTextPane skolem

vvar

javax.swing.JTextPane vvar

pvar

javax.swing.JTextPane pvar

aarray

javax.swing.JTextPane aarray

parray

javax.swing.JTextPane parray

addPredTB

javax.swing.JToolBar addPredTB

addPredTBName

javax.swing.JTextField addPredTBName

addPredTBArity

javax.swing.JTextField addPredTBArity

addConstTB

javax.swing.JToolBar addConstTB

addConstTBName

javax.swing.JTextField addConstTBName

addFuncTB

javax.swing.JToolBar addFuncTB

addFuncTBName

javax.swing.JTextField addFuncTBName

addFuncTBArity

javax.swing.JTextField addFuncTBArity

signature

PanSignature signature

lastSelectedLine

ProofItem lastSelectedLine

lastRuleSelected

javax.swing.JButton lastRuleSelected

ruleCtrl

RuleController ruleCtrl

inRule

boolean inRule

isTM

boolean isTM

isTMT

boolean isTMT

isDone

boolean isDone

hasError

boolean hasError

mainProofBox

ProofBox mainProofBox

firstTMLine

ProofItem firstTMLine

Class Raptor.View extends javax.swing.JFrame implements Serializable

Serialized Fields

error

java.lang.String error

rapFile

RaptorFileFilter rapFile

methodFile

RaptorMethodFileFilter methodFile

count

int count

controller

ParseInputController controller

jLabel1

javax.swing.JLabel jLabel1

methodFrame

javax.swing.JFrame methodFrame

header

javax.swing.JTextField header

AutoPrecondition

java.lang.String AutoPrecondition

pre

javax.swing.JTextField pre

post

javax.swing.JTextField post

preFormula

Formula preFormula

postFormula

Formula postFormula

methodDec

MethodDeclaration methodDec

msg

java.lang.String msg

isEditing

boolean isEditing

isViewing

boolean isViewing

preSet

boolean preSet

theTabs

javax.swing.JTabbedPane theTabs

numTabs

int numTabs

originalSize

int originalSize

currentSize

int currentSize

currentStyle

int currentStyle

currentFontFace

java.lang.String currentFontFace

Package Raptor.Help

Class Raptor.Help.Help extends javax.swing.JFrame implements Serializable

Serialized Fields

tree

javax.swing.JTree tree

top

javax.swing.tree.DefaultMutableTreeNode top

list

javax.swing.JList list

searchPanel

javax.swing.JSplitPane searchPanel

content

javax.swing.JEditorPane content

resList

javax.swing.JList resList

tf

javax.swing.JTextField tf

index

javax.swing.JTabbedPane index

jsp

javax.swing.JSplitPane jsp

button

javax.swing.JButton button

files

HelpPagesHTML files

sTree

javax.swing.JTree sTree

global

javax.swing.JRadioButton global

advanced

javax.swing.JRadioButton advanced

isGlobal

java.lang.Boolean isGlobal

Package Raptor.LogicParser

Class Raptor.LogicParser.ArrayWrapper extends Formula implements Serializable

Serialized Fields

and

And and

name

java.lang.String name

current_and

And current_and

stack

java.util.Stack<E> stack

Class Raptor.LogicParser.lex extends java.lang.Object implements Serializable

Package Raptor.LogicParser.Formula

Class Raptor.LogicParser.Formula.AArray extends Term implements Serializable

Serialized Fields

name

java.lang.String name

params

java.util.Vector<E> params

Class Raptor.LogicParser.Formula.And extends Formula implements Serializable

Serialized Fields

left

Formula left

right

Formula right

Class Raptor.LogicParser.Formula.Atom extends Formula implements Serializable

Serialized Fields

name

java.lang.String name

Class Raptor.LogicParser.Formula.Blah extends Formula implements Serializable

Serialized Fields

name

java.lang.String name

isNot

boolean isNot

toDisp

boolean toDisp

form

PTerm form

Class Raptor.LogicParser.Formula.Bool extends Formula implements Serializable

Serialized Fields

name

java.lang.String name

Class Raptor.LogicParser.Formula.Equals extends Predicate implements Serializable

Serialized Fields

left

Term left

right

Term right

Class Raptor.LogicParser.Formula.Exists extends Quantifier implements Serializable

Serialized Fields

var

Var var

formula

Formula formula

Class Raptor.LogicParser.Formula.False extends Atom implements Serializable

Class Raptor.LogicParser.Formula.Forall extends Quantifier implements Serializable

Serialized Fields

var

Var var

formula

Formula formula

Class Raptor.LogicParser.Formula.Formula extends java.lang.Object implements Serializable

Serialized Fields

atoms

java.util.List<E> atoms

newVars

java.util.List<E> newVars

terms

java.util.List<E> terms

error

java.lang.String error

tuples

java.util.List<E> tuples

Class Raptor.LogicParser.Formula.Function extends Term implements Serializable

Serialized Fields

name

java.lang.String name

params

java.util.Vector<E> params

arity

int arity

Class Raptor.LogicParser.Formula.Iff extends Formula implements Serializable

Serialized Fields

left

Formula left

right

Formula right

Class Raptor.LogicParser.Formula.Implies extends Formula implements Serializable

Serialized Fields

left

Formula left

right

Formula right

Class Raptor.LogicParser.Formula.LLVar extends Term implements Serializable

Serialized Fields

name

java.lang.String name

Class Raptor.LogicParser.Formula.LogicTerm extends Term implements Serializable

Serialized Fields

f

Formula f

Class Raptor.LogicParser.Formula.LTerm extends Term implements Serializable

Serialized Fields

lessThan

PLessThan lessThan

Class Raptor.LogicParser.Formula.Not extends Formula implements Serializable

Serialized Fields

formula

Formula formula

Class Raptor.LogicParser.Formula.NotBlah extends Formula implements Serializable

Serialized Fields

name

java.lang.String name

isNot

boolean isNot

toDisp

boolean toDisp

form

PTerm form

Class Raptor.LogicParser.Formula.NotBool extends Formula implements Serializable

Serialized Fields

name

java.lang.String name

Class Raptor.LogicParser.Formula.Num extends Term implements Serializable

Serialized Fields

value

int value

Class Raptor.LogicParser.Formula.Or extends Formula implements Serializable

Serialized Fields

left

Formula left

right

Formula right

Class Raptor.LogicParser.Formula.Predicate extends Atom implements Serializable

Serialized Fields

name

java.lang.String name

params

java.util.Vector<E> params

arity

int arity

boundTerm

Term boundTerm

Class Raptor.LogicParser.Formula.Quantifier extends Formula implements Serializable

Serialized Fields

error

java.lang.String error

Class Raptor.LogicParser.Formula.SimpleTerm extends Term implements Serializable

Serialized Fields

name

java.lang.String name

Class Raptor.LogicParser.Formula.Sk extends Atom implements Serializable

Serialized Fields

name

java.lang.String name

Class Raptor.LogicParser.Formula.SkTerm extends Term implements Serializable

Serialized Fields

name

java.lang.String name

Class Raptor.LogicParser.Formula.Term extends java.lang.Object implements Serializable

Serialized Fields

newVars

java.util.List<E> newVars

Class Raptor.LogicParser.Formula.True extends Atom implements Serializable

Class Raptor.LogicParser.Formula.Tuple extends java.lang.Object implements Serializable

Serialized Fields

first

Term first

second

Term second

Class Raptor.LogicParser.Formula.Unknown extends Formula implements Serializable

Serialized Fields

name

java.lang.String name

Class Raptor.LogicParser.Formula.Var extends Term implements Serializable

Serialized Fields

name

java.lang.String name

Class Raptor.LogicParser.Formula.VVar extends Term implements Serializable

Serialized Fields

name

java.lang.String name

Package Raptor.LogicParser.Formula.AExp

Class Raptor.LogicParser.Formula.AExp.AExp extends Term implements Serializable

Serialized Fields

left

Term left

right

Term right

op

java.lang.String op

Package Raptor.LogicParser.Formula.BExp

Class Raptor.LogicParser.Formula.BExp.BExp extends Formula implements Serializable

Serialized Fields

left

Term left

right

Term right

op

java.lang.String op

Class Raptor.LogicParser.Formula.BExp.EqualTo extends BExp implements Serializable

Class Raptor.LogicParser.Formula.BExp.GreaterThan extends BExp implements Serializable

Class Raptor.LogicParser.Formula.BExp.GTE extends BExp implements Serializable

Class Raptor.LogicParser.Formula.BExp.LessThan extends BExp implements Serializable

Class Raptor.LogicParser.Formula.BExp.LTE extends BExp implements Serializable

Class Raptor.LogicParser.Formula.BExp.NotEqual extends BExp implements Serializable

Serialized Fields

notEquals

Formula notEquals

Package Raptor.ProgramParser

Class Raptor.ProgramParser.lex extends java.lang.Object implements Serializable

Package Raptor.ProgramParser.Statements

Class Raptor.ProgramParser.Statements.AndTerm extends PTerm implements Serializable

Serialized Fields

formula

Formula formula

Class Raptor.ProgramParser.Statements.Assignment extends Instruction implements Serializable

Serialized Fields

left

PTerm left

right

PTerm right

ArrayAssign

boolean ArrayAssign

values

java.util.Vector<E> values

Class Raptor.ProgramParser.Statements.BoolTerm extends PTerm implements Serializable

Serialized Fields

value

boolean value

Class Raptor.ProgramParser.Statements.BVar extends PTerm implements Serializable

Serialized Fields

var

PVar var

val

BoolTerm val

andTerm

AndTerm andTerm

Class Raptor.ProgramParser.Statements.If extends Instruction implements Serializable

Serialized Fields

condition

Formula condition

thenBranch

Statements thenBranch

elseBranch

Statements elseBranch

Class Raptor.ProgramParser.Statements.Instruction extends java.lang.Object implements Serializable

Class Raptor.ProgramParser.Statements.Method extends PTerm implements Serializable

Serialized Fields

name

java.lang.String name

params

java.util.Vector<E> params

arity

int arity

pre

Formula pre

post

Formula post

methparams

java.util.Vector<E> methparams

Class Raptor.ProgramParser.Statements.MethodDeclaration extends Statements implements Serializable

Serialized Fields

retType

java.lang.String retType

name

java.lang.String name

typedParams

java.util.Vector<E> typedParams

arrayParams

java.util.Vector<E> arrayParams

varParams

java.util.Vector<E> varParams

arity

int arity

pre

Formula pre

post

Formula post

signature

PanSignature signature

autoPre

java.lang.String autoPre

Class Raptor.ProgramParser.Statements.PArray extends PTerm implements Serializable

Serialized Fields

name

java.lang.String name

params

java.util.Vector<E> params

Class Raptor.ProgramParser.Statements.PLVar extends PTerm implements Serializable

Serialized Fields

name

java.lang.String name

Class Raptor.ProgramParser.Statements.PNum extends PTerm implements Serializable

Serialized Fields

value

int value

Class Raptor.ProgramParser.Statements.ProgramComment extends java.lang.Object implements Serializable

Serialized Fields

comment

java.lang.String comment

Class Raptor.ProgramParser.Statements.PTerm extends java.lang.Object implements Serializable

Class Raptor.ProgramParser.Statements.PVar extends PTerm implements Serializable

Serialized Fields

value

int value

name

java.lang.String name

Class Raptor.ProgramParser.Statements.Skip extends Instruction implements Serializable

Class Raptor.ProgramParser.Statements.Statements extends java.lang.Object implements Serializable

Serialized Fields

left

Statements left

right

Instruction right

Class Raptor.ProgramParser.Statements.VoidMethod extends Instruction implements Serializable

Serialized Fields

method

Method method

Class Raptor.ProgramParser.Statements.WArray extends PTerm implements Serializable

Serialized Fields

name

java.lang.String name

Class Raptor.ProgramParser.Statements.While extends Instruction implements Serializable

Serialized Fields

condition

Formula condition

code

Statements code

Package Raptor.ProgramParser.Statements.PAExp

Class Raptor.ProgramParser.Statements.PAExp.PAExp extends PTerm implements Serializable

Serialized Fields

left

PTerm left

right

PTerm right

op

java.lang.String op

Package Raptor.ProgramParser.Statements.PBExp

Class Raptor.ProgramParser.Statements.PBExp.PBExp extends Formula implements Serializable

Serialized Fields

left

PTerm left

right

PTerm right

op

java.lang.String op

Class Raptor.ProgramParser.Statements.PBExp.PEqualTo extends PBExp implements Serializable

Class Raptor.ProgramParser.Statements.PBExp.PGreaterThan extends PBExp implements Serializable

Class Raptor.ProgramParser.Statements.PBExp.PGTE extends PBExp implements Serializable

Class Raptor.ProgramParser.Statements.PBExp.PLessThan extends PBExp implements Serializable

Class Raptor.ProgramParser.Statements.PBExp.PLTE extends PBExp implements Serializable

Class Raptor.ProgramParser.Statements.PBExp.PNotEqual extends PBExp implements Serializable

Package Raptor.xGui

Class Raptor.xGui.Colour extends java.lang.Object implements Serializable

Class Raptor.xGui.DashedBorder extends java.lang.Object implements Serializable

Serialized Fields

THICKNESS

int THICKNESS

colour

java.awt.Color colour

dashWidth

int dashWidth

dashHeight

int dashHeight

Class Raptor.xGui.RaptorFileFilter extends javax.swing.filechooser.FileFilter implements Serializable

Class Raptor.xGui.RaptorMethodFileFilter extends javax.swing.filechooser.FileFilter implements Serializable