[CZT-Users] Re: Help with getting started

[Stephen T. <to...@au...>]

Thanks. The sty files worked for building the ps files via latex. What I
don't see from the manual is what do I do when I only have a latex file.
That is I want to test the object-z specification I have in my latex
file and I am new to czt. I tried to run oztypecheck against pirate.tex
and got an NullPointerException:

storri@base ~/src/czt_0_4_src/zml/examples/oz $ ~/src/czt_0_4_bin/bin/oztypecheck pirate.tex
Exception in thread "main" java.lang.NullPointerException
        at net.sourceforge.czt.typecheck.oz.util.UnificationEnv.checkCompatibility(UnificationEnv.java:315)
        at net.sourceforge.czt.typecheck.oz.util.UnificationEnv.weakUnifyVarClassType(UnificationEnv.java:177)
        at net.sourceforge.czt.typecheck.oz.util.UnificationEnv.unifyVarClassType(UnificationEnv.java:134)
        at net.sourceforge.czt.typecheck.oz.util.UnificationEnv.unify(UnificationEnv.java:90)
        at net.sourceforge.czt.typecheck.z.util.UnificationEnv.unifyProdType(UnificationEnv.java:257)
        at net.sourceforge.czt.typecheck.z.util.UnificationEnv.unify(UnificationEnv.java:178)
        at net.sourceforge.czt.typecheck.oz.util.UnificationEnv.unify(UnificationEnv.java:99)
        at net.sourceforge.czt.typecheck.z.util.UnificationEnv.unifyVariableType(UnificationEnv.java:224)
        at net.sourceforge.czt.typecheck.oz.util.UnificationEnv.unifyVariableType(UnificationEnv.java:120)
        at net.sourceforge.czt.typecheck.z.util.UnificationEnv.unify(UnificationEnv.java:166)
        at net.sourceforge.czt.typecheck.oz.util.UnificationEnv.unify(UnificationEnv.java:99)
        at net.sourceforge.czt.typecheck.z.util.UnificationEnv.unifyPowerType(UnificationEnv.java:243)
        at net.sourceforge.czt.typecheck.z.util.UnificationEnv.unify(UnificationEnv.java:175)
        at net.sourceforge.czt.typecheck.oz.util.UnificationEnv.unify(UnificationEnv.java:99)
        at net.sourceforge.czt.typecheck.z.Checker.unify(Checker.java:263)
        at net.sourceforge.czt.typecheck.z.ExprChecker.visitApplExpr(ExprChecker.java:1005)
        at net.sourceforge.czt.typecheck.z.ExprChecker.visitApplExpr(ExprChecker.java:43)
        at net.sourceforge.czt.z.impl.ApplExprImpl.accept(ApplExprImpl.java:107)
        at net.sourceforge.czt.typecheck.oz.ExprChecker.visitTerm(ExprChecker.java:66)
        at net.sourceforge.czt.typecheck.oz.ExprChecker.visitTerm(ExprChecker.java:44)
        at net.sourceforge.czt.base.impl.TermImpl.accept(TermImpl.java:37)
        at net.sourceforge.czt.base.impl.TermAImpl.accept(TermAImpl.java:66)
        at net.sourceforge.czt.z.impl.ExprImpl.accept(ExprImpl.java:86)
        at net.sourceforge.czt.z.impl.Expr2Impl.accept(Expr2Impl.java:112)
        at net.sourceforge.czt.z.impl.ApplExprImpl.accept(ApplExprImpl.java:109)
        at net.sourceforge.czt.typecheck.z.PredChecker.visitMemPred(PredChecker.java:144)
        at net.sourceforge.czt.typecheck.z.PredChecker.visitMemPred(PredChecker.java:42)
        at net.sourceforge.czt.z.impl.MemPredImpl.accept(MemPredImpl.java:133)
        at net.sourceforge.czt.typecheck.oz.PredChecker.visitMemPred(PredChecker.java:79)
        at net.sourceforge.czt.typecheck.oz.PredChecker.visitMemPred(PredChecker.java:45)
        at net.sourceforge.czt.z.impl.MemPredImpl.accept(MemPredImpl.java:133)
        at net.sourceforge.czt.typecheck.z.PredChecker.visitAndPred(PredChecker.java:126)
        at net.sourceforge.czt.typecheck.z.PredChecker.visitAndPred(PredChecker.java:42)
        at net.sourceforge.czt.z.impl.AndPredImpl.accept(AndPredImpl.java:107)
        at net.sourceforge.czt.typecheck.oz.PredChecker.visitAndPred(PredChecker.java:127)
        at net.sourceforge.czt.typecheck.oz.PredChecker.visitAndPred(PredChecker.java:45)
        at net.sourceforge.czt.z.impl.AndPredImpl.accept(AndPredImpl.java:107)
        at net.sourceforge.czt.typecheck.z.PredChecker.visitAndPred(PredChecker.java:126)
        at net.sourceforge.czt.typecheck.z.PredChecker.visitAndPred(PredChecker.java:42)
        at net.sourceforge.czt.z.impl.AndPredImpl.accept(AndPredImpl.java:107)
        at net.sourceforge.czt.typecheck.oz.PredChecker.visitAndPred(PredChecker.java:127)
        at net.sourceforge.czt.typecheck.oz.PredChecker.visitAndPred(PredChecker.java:45)
        at net.sourceforge.czt.z.impl.AndPredImpl.accept(AndPredImpl.java:107)
        at net.sourceforge.czt.typecheck.oz.ParaChecker.visitInitialState(ParaChecker.java:285)
        at net.sourceforge.czt.typecheck.oz.ParaChecker.visitInitialState(ParaChecker.java:40)
        at net.sourceforge.czt.oz.impl.InitialStateImpl.accept(InitialStateImpl.java:122)
        at net.sourceforge.czt.typecheck.oz.ParaChecker.visitClassPara(ParaChecker.java:158)
        at net.sourceforge.czt.typecheck.oz.ParaChecker.visitClassPara(ParaChecker.java:40)
        at net.sourceforge.czt.oz.impl.ClassParaImpl.accept(ClassParaImpl.java:200)
        at net.sourceforge.czt.typecheck.z.SpecChecker.visitZSect(SpecChecker.java:117)
        at net.sourceforge.czt.z.impl.ZSectImpl.accept(ZSectImpl.java:133)
        at net.sourceforge.czt.typecheck.oz.SpecChecker.visitTerm(SpecChecker.java:61)
        at net.sourceforge.czt.base.impl.TermImpl.accept(TermImpl.java:37)
        at net.sourceforge.czt.base.impl.TermAImpl.accept(TermAImpl.java:66)
        at net.sourceforge.czt.z.impl.SectImpl.accept(SectImpl.java:86)
        at net.sourceforge.czt.z.impl.ZSectImpl.accept(ZSectImpl.java:135)
        at net.sourceforge.czt.typecheck.z.SpecChecker.visitSpec(SpecChecker.java:55)
        at net.sourceforge.czt.z.impl.SpecImpl.accept(SpecImpl.java:159)
        at net.sourceforge.czt.typecheck.oz.SpecChecker.visitTerm(SpecChecker.java:61)
        at net.sourceforge.czt.base.impl.TermImpl.accept(TermImpl.java:37)
        at net.sourceforge.czt.base.impl.TermAImpl.accept(TermAImpl.java:66)
        at net.sourceforge.czt.z.impl.SpecImpl.accept(SpecImpl.java:161)
        at net.sourceforge.czt.typecheck.z.TypeChecker.visitTerm(TypeChecker.java:171)
        at net.sourceforge.czt.typecheck.oz.TypeCheckUtils.lTypecheck(TypeCheckUtils.java:121)
        at net.sourceforge.czt.typecheck.oz.TypeCheckUtils.lTypecheck(TypeCheckUtils.java:104)
        at net.sourceforge.czt.typecheck.z.TypeCheckUtils.run(TypeCheckUtils.java:252)
        at net.sourceforge.czt.typecheck.oz.TypeCheckUtils.main(TypeCheckUtils.java:175)

What is wrong here? How do I download the cvs version? When I tried to
download czt via cvs I could not locate the correct module to use.

Stephen

On Thu, 2006-02-09 at 20:08 +1300, Petra Malik wrote:
> Hi Stephen,
> 
> Stephen wrote:
> > I copied ltcadiz.sty and oz.sty to the ~/src/czt_0_4_src/zml/examples/oz
> > directory. When I attempted to build the file via latex I got errors.
> > See attached pirate.log for the reason: ! LaTeX Error: \begin{state} on
> > input line 11 ended by \end{genschema}.
> 
> That seems to be a problem with the ltcadiz style; unfortunately we
> don't have a czt style yet - feel free to write one.  :-)
> 
> I modified the ltcadiz style (it now needs ap.sty as well, which is
> attached) so that pirate is now working for me.  Lots more work is
> probably needed to get the other examples working and to get a nice czt
> style but I don't have the time to do that.
> 
> Hope it helps to get at least one example through latex.  Note that you
> can still use the czt typechecker to typecheck your specification - even
> when you get latex errors.
> 
> Petra
-- 
PhD. Candidate
Auburn University
Department of Computer Science and Software Engineering
107 Dunstan Hall
Auburn, AL 36849-5347  U.S.A.
(334) 844-4330 (O)
to...@au...