Serialized Form

Class czt.zxml.ast.ApplExpr implements Serializable

Serialized Fields

Fix

int Fix

Class czt.zxml.ast.ApplExpr_Parsed implements Serializable

Serialized Fields

expr1

Expr expr1

expr2

Expr expr2

ann

zeta.util.Annotation ann

Class czt.zxml.ast.ApplExpr_Unparsed implements Serializable

Serialized Fields

unparsedData

java.lang.String unparsedData

Class czt.zxml.ASTToDocument.ASTTransformFailure implements Serializable

Serialized Fields

this$0

ASTToDocument this$0

Class czt.zxml.ast.AxPara implements Serializable

Serialized Fields

Box

int Box

Params

int Params

Class czt.zxml.ast.AxPara_Parsed implements Serializable

Serialized Fields

declnames

TermList declnames

sch

TextSch sch

ann

zeta.util.Annotation ann

Class czt.zxml.ast.AxPara_Unparsed implements Serializable

Serialized Fields

unparsedData

java.lang.String unparsedData

Class czt.zxml.ast.BindExpr implements Serializable

Class czt.zxml.ast.BindExpr_Parsed implements Serializable

Serialized Fields

bindings

java.util.Map bindings

ann

zeta.util.Annotation ann

Class czt.zxml.ast.BindExpr_Unparsed implements Serializable

Serialized Fields

unparsedData

java.lang.String unparsedData

Class czt.zxml.ast.BindselExpr implements Serializable

Class czt.zxml.ast.BindselExpr_Parsed implements Serializable

Serialized Fields

expression

Expr expression

name

Name name

ann

zeta.util.Annotation ann

Class czt.zxml.ast.BindselExpr_Unparsed implements Serializable

Serialized Fields

unparsedData

java.lang.String unparsedData

Class czt.zxml.ast.Branch implements Serializable

Class czt.zxml.ast.Branch_Parsed implements Serializable

Serialized Fields

declname

DeclName declname

expr

Expr expr

ann

zeta.util.Annotation ann

Class czt.zxml.ast.Branch_Unparsed implements Serializable

Serialized Fields

unparsedData

java.lang.String unparsedData

Class czt.zxml.ast.CompExpr implements Serializable

Class czt.zxml.ast.CompExpr_Parsed implements Serializable

Serialized Fields

expr1

Expr expr1

expr2

Expr expr2

ann

zeta.util.Annotation ann

Class czt.zxml.ast.CompExpr_Unparsed implements Serializable

Serialized Fields

unparsedData

java.lang.String unparsedData

Class czt.zxml.ast.CondExpr implements Serializable

Class czt.zxml.ast.CondExpr_Parsed implements Serializable

Serialized Fields

pred

Pred pred

expr1

Expr expr1

expr2

Expr expr2

ann

zeta.util.Annotation ann

Class czt.zxml.ast.CondExpr_Unparsed implements Serializable

Serialized Fields

unparsedData

java.lang.String unparsedData

Class czt.zxml.ast.ConjPara implements Serializable

Class czt.zxml.ast.ConjPara_Parsed implements Serializable

Serialized Fields

declnames

TermList declnames

pred

Pred pred

ann

zeta.util.Annotation ann

Class czt.zxml.ast.ConjPara_Unparsed implements Serializable

Serialized Fields

unparsedData

java.lang.String unparsedData

Class czt.zxml.ast.ConstDecl implements Serializable

Class czt.zxml.ast.ConstDecl_Parsed implements Serializable

Serialized Fields

declName

DeclName declName

expression

Expr expression

ann

zeta.util.Annotation ann

Class czt.zxml.ast.ConstDecl_Unparsed implements Serializable

Serialized Fields

unparsedData

java.lang.String unparsedData

Class czt.zxml.ast.Decl implements Serializable

Class czt.zxml.ast.DeclName implements Serializable

Class czt.zxml.ast.DeclName_Parsed implements Serializable

Serialized Fields

name

DecoratedWord name

ann

zeta.util.Annotation ann

Class czt.zxml.ast.DeclName_Unparsed implements Serializable

Serialized Fields

unparsedData

java.lang.String unparsedData

Class czt.zxml.ast.DecoratedWord implements Serializable

Serialized Fields

word

java.lang.String word

strokes

TermList strokes

Class czt.zxml.ast.DecorExpr implements Serializable

Class czt.zxml.ast.DecorExpr_Parsed implements Serializable

Serialized Fields

expr

Expr expr

stroke

Stroke stroke

ann

zeta.util.Annotation ann

Class czt.zxml.ast.DecorExpr_Unparsed implements Serializable

Serialized Fields

unparsedData

java.lang.String unparsedData

Class czt.zxml.DocumentToAST.ASTTransformFailure implements Serializable

Serialized Fields

this$0

DocumentToAST this$0

Class czt.zxml.ast.Expr implements Serializable

Class czt.zxml.ast.ExprPred implements Serializable

Class czt.zxml.ast.ExprPred_Parsed implements Serializable

Serialized Fields

expr

Expr expr

ann

zeta.util.Annotation ann

Class czt.zxml.ast.ExprPred_Unparsed implements Serializable

Serialized Fields

unparsedData

java.lang.String unparsedData

Class czt.zxml.ast.FalsePred implements Serializable

Serialized Fields

ann

zeta.util.Annotation ann

Class czt.zxml.ast.FreePara implements Serializable

Class czt.zxml.ast.FreePara_Parsed implements Serializable

Serialized Fields

freetypes

TermList freetypes

ann

zeta.util.Annotation ann

Class czt.zxml.ast.FreePara_Unparsed implements Serializable

Serialized Fields

unparsedData

java.lang.String unparsedData

Class czt.zxml.ast.FreeType implements Serializable

Class czt.zxml.ast.FreeType_Parsed implements Serializable

Serialized Fields

declname

DeclName declname

branches

TermList branches

ann

zeta.util.Annotation ann

Class czt.zxml.ast.FreeType_Unparsed implements Serializable

Serialized Fields

unparsedData

java.lang.String unparsedData

Class czt.zxml.ast.GenType implements Serializable

Serialized Fields

name

Name name

Class czt.zxml.ast.GivenPara implements Serializable

Class czt.zxml.ast.GivenPara_Parsed implements Serializable

Serialized Fields

declnames

TermList declnames

ann

zeta.util.Annotation ann

Class czt.zxml.ast.GivenPara_Unparsed implements Serializable

Serialized Fields

unparsedData

java.lang.String unparsedData

Class czt.zxml.ast.GivenType implements Serializable

Serialized Fields

name

Name name

Class czt.zxml.ast.HideExpr implements Serializable

Class czt.zxml.ast.HideExpr_Parsed implements Serializable

Serialized Fields

expression

Expr expression

refNames

TermList refNames

ann

zeta.util.Annotation ann

Class czt.zxml.ast.HideExpr_Unparsed implements Serializable

Serialized Fields

unparsedData

java.lang.String unparsedData

Class czt.zxml.ast.InclDecl implements Serializable

Class czt.zxml.ast.InclDecl_Parsed implements Serializable

Serialized Fields

expression

Expr expression

ann

zeta.util.Annotation ann

Class czt.zxml.ast.InclDecl_Unparsed implements Serializable

Serialized Fields

unparsedData

java.lang.String unparsedData

Class czt.zxml.ast.InStroke implements Serializable

Class czt.zxml.ast.LogExpr implements Serializable

Class czt.zxml.ast.LogExpr_And implements Serializable

Class czt.zxml.ast.LogExpr_Iff implements Serializable

Class czt.zxml.ast.LogExpr_Imp implements Serializable

Class czt.zxml.ast.LogExpr_Or implements Serializable

Class czt.zxml.ast.LogExpr_Parsed implements Serializable

Serialized Fields

expr1

Expr expr1

expr2

Expr expr2

ann

zeta.util.Annotation ann

Class czt.zxml.ast.LogExpr_Unparsed implements Serializable

Serialized Fields

unparsedData

java.lang.String unparsedData

log

java.lang.String log

Class czt.zxml.ast.LogPred implements Serializable

Class czt.zxml.ast.LogPred_And implements Serializable

Class czt.zxml.ast.LogPred_Chain implements Serializable

Class czt.zxml.ast.LogPred_Conjunction implements Serializable

Class czt.zxml.ast.LogPred_Iff implements Serializable

Class czt.zxml.ast.LogPred_Imp implements Serializable

Class czt.zxml.ast.LogPred_Nl implements Serializable

Class czt.zxml.ast.LogPred_Or implements Serializable

Class czt.zxml.ast.LogPred_Parsed implements Serializable

Serialized Fields

pred1

Pred pred1

pred2

Pred pred2

ann

zeta.util.Annotation ann

Class czt.zxml.ast.LogPred_Semi implements Serializable

Class czt.zxml.ast.LogPred_Unparsed implements Serializable

Serialized Fields

unparsedData

java.lang.String unparsedData

log

java.lang.String log

Class czt.zxml.ast.MemPred implements Serializable

Serialized Fields

Fix

int Fix

Class czt.zxml.ast.MemPred_Parsed implements Serializable

Serialized Fields

expr1

Expr expr1

expr2

Expr expr2

ann

zeta.util.Annotation ann

Class czt.zxml.ast.MemPred_Unparsed implements Serializable

Serialized Fields

unparsedData

java.lang.String unparsedData

Class czt.zxml.ast.Name implements Serializable

Class czt.zxml.ast.Name_Parsed implements Serializable

Serialized Fields

name

DecoratedWord name

ann

zeta.util.Annotation ann

Class czt.zxml.ast.Name_Unparsed implements Serializable

Serialized Fields

unparsedData

java.lang.String unparsedData

Class czt.zxml.ast.NarrPara implements Serializable

Serialized Fields

narrative

java.lang.String narrative

Class czt.zxml.ast.NegExpr implements Serializable

Class czt.zxml.ast.NegExpr_Parsed implements Serializable

Serialized Fields

expression

Expr expression

ann

zeta.util.Annotation ann

Class czt.zxml.ast.NegExpr_Unparsed implements Serializable

Serialized Fields

unparsedData

java.lang.String unparsedData

Class czt.zxml.ast.NegPred implements Serializable

Class czt.zxml.ast.NegPred_Parsed implements Serializable

Serialized Fields

pred

Pred pred

ann

zeta.util.Annotation ann

Class czt.zxml.ast.NegPred_Unparsed implements Serializable

Serialized Fields

unparsedData

java.lang.String unparsedData

Class czt.zxml.ast.NextStroke implements Serializable

Class czt.zxml.ast.Numeral implements Serializable

Class czt.zxml.ast.Numeral_Parsed implements Serializable

Serialized Fields

numeral

long numeral

Class czt.zxml.ast.Numeral_Unparsed implements Serializable

Serialized Fields

unparsedData

java.lang.String unparsedData

Class czt.zxml.ast.NumExpr implements Serializable

Class czt.zxml.ast.NumExpr_Parsed implements Serializable

Serialized Fields

numeral

Numeral numeral

ann

zeta.util.Annotation ann

Class czt.zxml.ast.NumExpr_Unparsed implements Serializable

Serialized Fields

unparsedData

java.lang.String unparsedData

Class czt.zxml.ast.NumStroke implements Serializable

Serialized Fields

numeral

Numeral numeral

Class czt.zxml.ast.Operand implements Serializable

Class czt.zxml.ast.OperandList implements Serializable

Class czt.zxml.ast.OptempPara implements Serializable

Serialized Fields

Cat

int Cat

Assoc

int Assoc

Class czt.zxml.ast.OptempPara_Parsed implements Serializable

Serialized Fields

numeral

Numeral numeral

template

Template template

ann

zeta.util.Annotation ann

Class czt.zxml.ast.OptempPara_Unparsed implements Serializable

Serialized Fields

unparsedData

java.lang.String unparsedData

Class czt.zxml.ast.OutStroke implements Serializable

Class czt.zxml.ast.Para implements Serializable

Class czt.zxml.ast.Parent implements Serializable

Class czt.zxml.ast.Parent_Parsed implements Serializable

Serialized Fields

word

java.lang.String word

ann

zeta.util.Annotation ann

Class czt.zxml.ast.Parent_Unparsed implements Serializable

Serialized Fields

unparsedData

java.lang.String unparsedData

Class czt.zxml.ast.PipeExpr implements Serializable

Class czt.zxml.ast.PipeExpr_Parsed implements Serializable

Serialized Fields

expr1

Expr expr1

expr2

Expr expr2

ann

zeta.util.Annotation ann

Class czt.zxml.ast.PipeExpr_Unparsed implements Serializable

Serialized Fields

unparsedData

java.lang.String unparsedData

Class czt.zxml.ast.PowerExpr implements Serializable

Class czt.zxml.ast.PowerExpr_Parsed implements Serializable

Serialized Fields

expression

Expr expression

ann

zeta.util.Annotation ann

Class czt.zxml.ast.PowerExpr_Unparsed implements Serializable

Serialized Fields

unparsedData

java.lang.String unparsedData

Class czt.zxml.ast.PowerType implements Serializable

Serialized Fields

type

Type type

Class czt.zxml.ast.Pred implements Serializable

Class czt.zxml.ast.PreExpr implements Serializable

Class czt.zxml.ast.PreExpr_Parsed implements Serializable

Serialized Fields

expression

Expr expression

ann

zeta.util.Annotation ann

Class czt.zxml.ast.PreExpr_Unparsed implements Serializable

Serialized Fields

unparsedData

java.lang.String unparsedData

Class czt.zxml.ast.ProdExpr implements Serializable

Class czt.zxml.ast.ProdExpr_Parsed implements Serializable

Serialized Fields

exprs

TermList exprs

ann

zeta.util.Annotation ann

Class czt.zxml.ast.ProdExpr_Unparsed implements Serializable

Serialized Fields

unparsedData

java.lang.String unparsedData

Class czt.zxml.ast.ProdType implements Serializable

Serialized Fields

types

TermList types

Class czt.zxml.ast.ProjExpr implements Serializable

Class czt.zxml.ast.ProjExpr_Parsed implements Serializable

Serialized Fields

expr1

Expr expr1

expr2

Expr expr2

ann

zeta.util.Annotation ann

Class czt.zxml.ast.ProjExpr_Unparsed implements Serializable

Serialized Fields

unparsedData

java.lang.String unparsedData

Class czt.zxml.ast.QntExpr implements Serializable

Class czt.zxml.ast.QntExpr_Exists implements Serializable

Class czt.zxml.ast.QntExpr_Exists1 implements Serializable

Class czt.zxml.ast.QntExpr_Forall implements Serializable

Class czt.zxml.ast.QntExpr_Lambda implements Serializable

Class czt.zxml.ast.QntExpr_Let implements Serializable

Class czt.zxml.ast.QntExpr_Mu implements Serializable

Class czt.zxml.ast.QntExpr_Parsed implements Serializable

Serialized Fields

sch

TextSch sch

expr

Expr expr

ann

zeta.util.Annotation ann

Class czt.zxml.ast.QntExpr_Set implements Serializable

Class czt.zxml.ast.QntExpr_Unparsed implements Serializable

Serialized Fields

unparsedData

java.lang.String unparsedData

qnt

java.lang.String qnt

Class czt.zxml.ast.QntPred implements Serializable

Class czt.zxml.ast.QntPred_Exists implements Serializable

Class czt.zxml.ast.QntPred_Exists1 implements Serializable

Class czt.zxml.ast.QntPred_Forall implements Serializable

Class czt.zxml.ast.QntPred_Parsed implements Serializable

Serialized Fields

sch

TextSch sch

pred

Pred pred

ann

zeta.util.Annotation ann

Class czt.zxml.ast.QntPred_Unparsed implements Serializable

Serialized Fields

unparsedData

java.lang.String unparsedData

qnt

java.lang.String qnt

Class czt.zxml.Reader.ControlLocator implements Serializable

Class czt.zxml.Reader.PersistentData implements Serializable

Serialized Fields

sourceInfos

java.util.Map sourceInfos

unitInfos

java.util.Map unitInfos

searchPath

java.util.List searchPath

Class czt.zxml.Reader.SourceInfo implements Serializable

Serialized Fields

file

java.io.File file

absFile

java.io.File absFile

auxFiles

java.io.File[] auxFiles

diag

zeta.session.Diag diag

scannedAt

java.util.Date scannedAt

Class czt.zxml.Reader.UnitInfo implements Serializable

Serialized Fields

name

zeta.util.Name name

source

Reader.SourceInfo source

locator

zeta.session.Locator locator

ast

Spec ast

Class czt.zxml.ast.RefExpr implements Serializable

Serialized Fields

Inst

int Inst

Class czt.zxml.ast.RefExpr_Parsed implements Serializable

Serialized Fields

refName

RefName refName

exprs

TermList exprs

ann

zeta.util.Annotation ann

Class czt.zxml.ast.RefExpr_Unparsed implements Serializable

Serialized Fields

unparsedData

java.lang.String unparsedData

Class czt.zxml.ast.RefName implements Serializable

Class czt.zxml.ast.RefName_Parsed implements Serializable

Serialized Fields

name

DecoratedWord name

ann

zeta.util.Annotation ann

Class czt.zxml.ast.RefName_Unparsed implements Serializable

Serialized Fields

unparsedData

java.lang.String unparsedData

Class czt.zxml.ast.Renm implements Serializable

Class czt.zxml.ast.Renm_Parsed implements Serializable

Serialized Fields

declName

DeclName declName

refName

RefName refName

ann

zeta.util.Annotation ann

Class czt.zxml.ast.Renm_Unparsed implements Serializable

Serialized Fields

unparsedData

java.lang.String unparsedData

Class czt.zxml.ast.RenmExpr implements Serializable

Class czt.zxml.ast.RenmExpr_Parsed implements Serializable

Serialized Fields

expr

Expr expr

renms

TermList renms

ann

zeta.util.Annotation ann

Class czt.zxml.ast.RenmExpr_Unparsed implements Serializable

Serialized Fields

unparsedData

java.lang.String unparsedData

Class czt.zxml.ast.SchemaType implements Serializable

Serialized Fields

signature

Signature signature

Class czt.zxml.ast.SchExpr implements Serializable

Class czt.zxml.ast.SchExpr_Parsed implements Serializable

Serialized Fields

sch

TextSch sch

ann

zeta.util.Annotation ann

Class czt.zxml.ast.SchExpr_Unparsed implements Serializable

Serialized Fields

unparsedData

java.lang.String unparsedData

Class czt.zxml.ast.Sect implements Serializable

Class czt.zxml.ast.Sect_Parsed implements Serializable

Serialized Fields

word

java.lang.String word

parents

TermList parents

paras

TermList paras

ann

zeta.util.Annotation ann

Class czt.zxml.ast.Sect_Unparsed implements Serializable

Serialized Fields

unparsedData

java.lang.String unparsedData

Class czt.zxml.ast.SectTypeEnv implements Serializable

Serialized Fields

environment

java.util.Map environment

Class czt.zxml.ast.SetExpr implements Serializable

Class czt.zxml.ast.SetExpr_Parsed implements Serializable

Serialized Fields

exprs

TermList exprs

ann

zeta.util.Annotation ann

Class czt.zxml.ast.SetExpr_Unparsed implements Serializable

Serialized Fields

unparsedData

java.lang.String unparsedData

Class czt.zxml.ast.Signature implements Serializable

Serialized Fields

signature

java.util.Map signature

Class czt.zxml.ast.Spec implements Serializable

Class czt.zxml.ast.Spec_Parsed implements Serializable

Serialized Fields

sects

TermList sects

ann

zeta.util.Annotation ann

Class czt.zxml.ast.Spec_Unparsed implements Serializable

Serialized Fields

unparsedData

java.lang.String unparsedData

Class czt.zxml.ast.Stroke implements Serializable

Class czt.zxml.ast.Template implements Serializable

Serialized Fields

items

java.util.List items

Class czt.zxml.util.TermList implements Serializable

Serialized Fields

list

java.util.List list

Class czt.zxml.ast.TextSch implements Serializable

Class czt.zxml.ast.TextSch_Parsed implements Serializable

Serialized Fields

decls

TermList decls

pred

Pred pred

ann

zeta.util.Annotation ann

Class czt.zxml.ast.TextSch_Unparsed implements Serializable

Serialized Fields

unparsedData

java.lang.String unparsedData

Class czt.zxml.ast.ThetaExpr implements Serializable

Class czt.zxml.ast.ThetaExpr_Parsed implements Serializable

Serialized Fields

expr

Expr expr

strokes

TermList strokes

ann

zeta.util.Annotation ann

Class czt.zxml.ast.ThetaExpr_Unparsed implements Serializable

Serialized Fields

unparsedData

java.lang.String unparsedData

Class czt.zxml.ast.TruePred implements Serializable

Serialized Fields

ann

zeta.util.Annotation ann

Class czt.zxml.ast.TupleExpr implements Serializable

Class czt.zxml.ast.TupleExpr_Parsed implements Serializable

Serialized Fields

exprs

TermList exprs

ann

zeta.util.Annotation ann

Class czt.zxml.ast.TupleExpr_Unparsed implements Serializable

Serialized Fields

unparsedData

java.lang.String unparsedData

Class czt.zxml.ast.TupleselExpr implements Serializable

Class czt.zxml.ast.TupleselExpr_Parsed implements Serializable

Serialized Fields

expr

Expr expr

numeral

Numeral numeral

ann

zeta.util.Annotation ann

Class czt.zxml.ast.TupleselExpr_Unparsed implements Serializable

Serialized Fields

unparsedData

java.lang.String unparsedData

Class czt.zxml.ast.Type implements Serializable

Class czt.zxml.ast.UnknownStroke implements Serializable

Serialized Fields

stroke

java.lang.Object stroke

Class czt.zxml.ast.VarDecl implements Serializable

Class czt.zxml.ast.VarDecl_Parsed implements Serializable

Serialized Fields

declNames

TermList declNames

expression

Expr expression

ann

zeta.util.Annotation ann

Class czt.zxml.ast.VarDecl_Unparsed implements Serializable

Serialized Fields

unparsedData

java.lang.String unparsedData