errors.txt

gistfile1.txt

../example/galaxy.blog
../example/galaxy.blog::108.7: Number expression expecting implicit set

../example/infinite-GMM.blog
java.lang.IllegalArgumentException: The mean given is not a valid row vector. It has dimensions 2 by 1. at blog.distrib.MultivarGaussian.setParams(MultivarGaussian.java:89) at blog.distrib.MultivarGaussian.setParams(MultivarGaussian.java:70) at blog.model.DistribSpec.initCPD(DistribSpec.java:260) at blog.model.DistribSpec.compile(DistribSpec.java:192) at blog.model.DependencyModel.compile(DependencyModel.java:202) at blog.model.RandomFunction.compile(RandomFunction.java:127) at blog.model.Model.compile(Model.java:531) at blog.Main.setup(Main.java:472) at blog.Main.main(Main.java:152) Error initializing CPD at 21: couldn't instantiate class class blog.distrib.MultivarGaussian Encountered 1 errors in compilation phase.

../example/aircraft-position.blog
../example/aircraft-position.blog::26.7: Number expression expecting implicit set (no location): Symbol "B1" is neither a variable in the current scope nor a zero-ary function. (no location): Symbol "B2" is neither a variable in the current scope nor a zero-ary function. (no location): Symbol "B3" is neither a variable in the current scope nor a zero-ary function. (no location): Symbol "B1" is neither a variable in the current scope nor a zero-ary function. ../example/aircraft-position.blog::0.0: type checking failed for evidence

../example/solutions/simple-aircraft.blog
../example/solutions/simple-aircraft.blog::1.1: syntax error at Symbol: == (../example/solutions/simple-aircraft.blog:1/1(1) - ../example/solutions/simple-aircraft.blog:1/3(3)) java.lang.NullPointerException at blog.parse.CUP$BLOGParser$actions.CUP$BLOGParser$do_action_part00000000(BLOGParser.java:1482) at blog.parse.CUP$BLOGParser$actions.CUP$BLOGParser$do_action(BLOGParser.java:3723) at blog.parse.BLOGParser.do_action(BLOGParser.java:1150) at java_cup.runtime.lr_parser.parse_lookahead(lr_parser.java:1194) at java_cup.runtime.lr_parser.error_recovery(lr_parser.java:903) at blog.parse.BLOGParser.error_recovery(BLOGParser.java:1271) at java_cup.runtime.lr_parser.parse(lr_parser.java:614) at blog.parse.Parse.<init>(Parse.java:38) at blog.Main.parseAndTranslate(Main.java:488) at blog.Main.setup(Main.java:436) at blog.Main.main(Main.java:152) Exception in thread "main" java.lang.Error: java.lang.NullPointerException at blog.parse.Parse.<init>(Parse.java:42) at blog.Main.parseAndTranslate(Main.java:488) at blog.Main.setup(Main.java:436) at blog.Main.main(Main.java:152)

../example/sybil-attack-exp3.blog
Error parsing file: ../example/sybil-attack-exp3.blog Fatal error: don't know how to process ArgSpec of type blog.model.MapSpec java.lang.RuntimeException: don't know how to process ArgSpec of type blog.model.MapSpec at blog.model.FuncAppTerm.checkTypesAndScope(FuncAppTerm.java:342) at blog.model.MapSpec.checkTypesAndScope(MapSpec.java:191) at blog.model.MapSpec.checkTypesAndScope(MapSpec.java:177) at blog.model.CaseSpec.checkTypesAndScope(CaseSpec.java:67) at blog.model.MapSpec.checkTypesAndScope(MapSpec.java:191) at blog.model.MapSpec.checkTypesAndScope(MapSpec.java:177) at blog.model.CaseSpec.checkTypesAndScope(CaseSpec.java:67) at blog.model.DependencyModel.checkTypesAndScope(DependencyModel.java:187) at blog.model.RandomFunction.checkTypesAndScope(RandomFunction.java:103) at blog.model.Model.checkTypesAndScope(Model.java:469) at blog.semant.Semant.transProg(Semant.java:1311) at blog.Main.parseAndTranslate(Main.java:492) at blog.Main.setup(Main.java:436) at blog.Main.main(Main.java:152) Exception in thread "main" java.lang.Error: Fatal error: at blog.common.Util.fatalError(Util.java:524) at blog.common.Util.fatalError(Util.java:497) at blog.common.Util.fatalError(Util.java:481) at blog.Main.setup(Main.java:443) at blog.Main.main(Main.java:152)

../example/general-fixed-fun.blog
Exception in thread "main" java.lang.IllegalStateException: non-fixed arg in cpdArgsFixed at blog.model.DistribSpec.initCPD(DistribSpec.java:247) at blog.model.DistribSpec.compile(DistribSpec.java:192) at blog.model.DependencyModel.compile(DependencyModel.java:202) at blog.model.RandomFunction.compile(RandomFunction.java:127) at blog.model.Model.compile(Model.java:531) at blog.Main.setup(Main.java:472) at blog.Main.main(Main.java:152)

../example/balls/id-uncert-det.blog
Exception in thread "main" java.lang.NullPointerException at java.util.TreeMap.compare(TreeMap.java:1188) at java.util.TreeMap.put(TreeMap.java:531) at java.util.TreeSet.add(TreeSet.java:255) at java.util.AbstractCollection.addAll(AbstractCollection.java:334) at java.util.TreeSet.addAll(TreeSet.java:312) at java.util.TreeSet.<init>(TreeSet.java:160) at blog.engine.ParticleFilter.takeEvidenceAndAnswerQuery(ParticleFilter.java:192) at blog.engine.ParticleFilter.resetAndTakeInitialEvidence(ParticleFilter.java:155) at blog.engine.ParticleFilter.answerQueries(ParticleFilter.java:141) at blog.Main.run(Main.java:190) at blog.Main.main(Main.java:153)

../example/balls/id-uncert-noisy.blog
Error parsing file: ../example/balls/id-uncert-noisy.blog Fatal error: don't know how to process ArgSpec of type blog.model.MapSpec java.lang.RuntimeException: don't know how to process ArgSpec of type blog.model.MapSpec at blog.model.FuncAppTerm.checkTypesAndScope(FuncAppTerm.java:342) at blog.model.MapSpec.checkTypesAndScope(MapSpec.java:191) at blog.model.MapSpec.checkTypesAndScope(MapSpec.java:177) at blog.model.CaseSpec.checkTypesAndScope(CaseSpec.java:67) at blog.model.DependencyModel.checkTypesAndScope(DependencyModel.java:187) at blog.model.RandomFunction.checkTypesAndScope(RandomFunction.java:103) at blog.model.Model.checkTypesAndScope(Model.java:469) at blog.semant.Semant.transProg(Semant.java:1311) at blog.Main.parseAndTranslate(Main.java:492) at blog.Main.setup(Main.java:436) at blog.Main.main(Main.java:152) Exception in thread "main" java.lang.Error: Fatal error: at blog.common.Util.fatalError(Util.java:524) at blog.common.Util.fatalError(Util.java:497) at blog.common.Util.fatalError(Util.java:481) at blog.Main.setup(Main.java:443) at blog.Main.main(Main.java:152)

../example/multivar-gaussian-random-params/random-mu-fixed-sigma.blog
java.lang.IllegalArgumentException: The mean given is not a valid row vector. It has dimensions 2 by 1. at blog.distrib.MultivarGaussian.setParams(MultivarGaussian.java:89) at blog.distrib.MultivarGaussian.setParams(MultivarGaussian.java:70) at blog.model.DistribSpec.initCPD(DistribSpec.java:260) at blog.model.DistribSpec.compile(DistribSpec.java:192) at blog.model.DependencyModel.compile(DependencyModel.java:202) at blog.model.RandomFunction.compile(RandomFunction.java:127) at blog.model.Model.compile(Model.java:531) at blog.Main.setup(Main.java:472) at blog.Main.main(Main.java:152) Error initializing CPD at 4: couldn't instantiate class class blog.distrib.MultivarGaussian Encountered 1 errors in compilation phase.

../example/multivar-gaussian-random-params/fixed-mu-random-sigma.blog
java.lang.IllegalArgumentException: The mean given is not a valid row vector. It has dimensions 2 by 1. at blog.distrib.MultivarGaussian.setParams(MultivarGaussian.java:89) at blog.distrib.MultivarGaussian.setParams(MultivarGaussian.java:70) at blog.model.DistribSpec.initCPD(DistribSpec.java:260) at blog.model.DistribSpec.compile(DistribSpec.java:192) at blog.model.DependencyModel.compile(DependencyModel.java:202) at blog.model.RandomFunction.compile(RandomFunction.java:127) at blog.model.Model.compile(Model.java:531) at blog.Main.setup(Main.java:472) at blog.Main.main(Main.java:152) Error initializing CPD at 8: couldn't instantiate class class blog.distrib.MultivarGaussian Encountered 1 errors in compilation phase.

../example/multivar-gaussian-random-params/random-mu-random-sigma.blog
java.lang.IllegalArgumentException: The mean given is not a valid row vector. It has dimensions 2 by 1. at blog.distrib.MultivarGaussian.setParams(MultivarGaussian.java:89) at blog.distrib.MultivarGaussian.setParams(MultivarGaussian.java:70) at blog.model.DistribSpec.initCPD(DistribSpec.java:260) at blog.model.DistribSpec.compile(DistribSpec.java:192) at blog.model.DependencyModel.compile(DependencyModel.java:202) at blog.model.RandomFunction.compile(RandomFunction.java:127) at blog.model.Model.compile(Model.java:531) at blog.Main.setup(Main.java:472) at blog.Main.main(Main.java:152) Error initializing CPD at 5: couldn't instantiate class class blog.distrib.MultivarGaussian Encountered 1 errors in compilation phase.

../example/multivar-gaussian-random-params/fixed-mu-fixed-sigma.blog
java.lang.IllegalArgumentException: The mean given is not a valid row vector. It has dimensions 2 by 1. at blog.distrib.MultivarGaussian.setParams(MultivarGaussian.java:89) at blog.distrib.MultivarGaussian.setParams(MultivarGaussian.java:70) at blog.model.DistribSpec.initCPD(DistribSpec.java:260) at blog.model.DistribSpec.compile(DistribSpec.java:192) at blog.model.DependencyModel.compile(DependencyModel.java:202) at blog.model.RandomFunction.compile(RandomFunction.java:127) at blog.model.Model.compile(Model.java:531) at blog.Main.setup(Main.java:472) at blog.Main.main(Main.java:152) Error initializing CPD at 4: couldn't instantiate class class blog.distrib.MultivarGaussian Encountered 1 errors in compilation phase.

../example/citation/publications.blog
Error parsing file: ../example/citation/publications.blog Fatal error: don't know how to process ArgSpec of type blog.model.MapSpec java.lang.RuntimeException: don't know how to process ArgSpec of type blog.model.MapSpec at blog.model.FuncAppTerm.checkTypesAndScope(FuncAppTerm.java:342) at blog.model.DistribSpec.checkTypesAndScope(DistribSpec.java:143) at blog.model.DependencyModel.checkTypesAndScope(DependencyModel.java:186) at blog.model.RandomFunction.checkTypesAndScope(RandomFunction.java:103) at blog.model.Model.checkTypesAndScope(Model.java:469) at blog.semant.Semant.transProg(Semant.java:1311) at blog.Main.parseAndTranslate(Main.java:492) at blog.Main.setup(Main.java:436) at blog.Main.main(Main.java:152) Exception in thread "main" java.lang.Error: Fatal error: at blog.common.Util.fatalError(Util.java:524) at blog.common.Util.fatalError(Util.java:497) at blog.common.Util.fatalError(Util.java:481) at blog.Main.setup(Main.java:443) at blog.Main.main(Main.java:152)

../example/burglary.blog
Exception in thread "main" java.lang.NullPointerException at java.util.TreeMap.compare(TreeMap.java:1188) at java.util.TreeMap.put(TreeMap.java:531) at java.util.TreeSet.add(TreeSet.java:255) at java.util.AbstractCollection.addAll(AbstractCollection.java:334) at java.util.TreeSet.addAll(TreeSet.java:312) at java.util.TreeSet.<init>(TreeSet.java:160) at blog.engine.ParticleFilter.takeEvidenceAndAnswerQuery(ParticleFilter.java:192) at blog.engine.ParticleFilter.resetAndTakeInitialEvidence(ParticleFilter.java:155) at blog.engine.ParticleFilter.answerQueries(ParticleFilter.java:141) at blog.Main.run(Main.java:190) at blog.Main.main(Main.java:153)

../example/poisson-ball.blog
Error parsing file: ../example/poisson-ball.blog Fatal error: don't know how to process ArgSpec of type blog.model.MapSpec java.lang.RuntimeException: don't know how to process ArgSpec of type blog.model.MapSpec at blog.model.FuncAppTerm.checkTypesAndScope(FuncAppTerm.java:342) at blog.model.MapSpec.checkTypesAndScope(MapSpec.java:191) at blog.model.MapSpec.checkTypesAndScope(MapSpec.java:177) at blog.model.CaseSpec.checkTypesAndScope(CaseSpec.java:67) at blog.model.DependencyModel.checkTypesAndScope(DependencyModel.java:187) at blog.model.RandomFunction.checkTypesAndScope(RandomFunction.java:103) at blog.model.Model.checkTypesAndScope(Model.java:469) at blog.semant.Semant.transProg(Semant.java:1311) at blog.Main.parseAndTranslate(Main.java:492) at blog.Main.setup(Main.java:436) at blog.Main.main(Main.java:152) Exception in thread "main" java.lang.Error: Fatal error: at blog.common.Util.fatalError(Util.java:524) at blog.common.Util.fatalError(Util.java:497) at blog.common.Util.fatalError(Util.java:481) at blog.Main.setup(Main.java:443) at blog.Main.main(Main.java:152)

../example/lda.blog
Exception in thread "main" java.lang.ClassCastException: blog.common.numerical.JamaMatrixLib cannot be cast to java.util.Map at blog.distrib.Categorical.setParams(Categorical.java:63) at blog.sample.ClassicInstantiatingEvalContext.instantiate(ClassicInstantiatingEvalContext.java:173) at blog.sample.ClassicInstantiatingEvalContext.getOrComputeValue(ClassicInstantiatingEvalContext.java:116) at blog.sample.ParentRecEvalContext.getValue(ParentRecEvalContext.java:75) at blog.model.RandomFunction.getValueInContext(RandomFunction.java:173) at blog.model.FuncAppTerm.evaluate(FuncAppTerm.java:185) at blog.model.FuncAppTerm.evaluate(FuncAppTerm.java:173) at blog.model.DistribSpec.getDistrib(DistribSpec.java:84) at blog.model.DependencyModel.getDistrib(DependencyModel.java:156) at blog.model.DependencyModel.getDistribWithBinding(DependencyModel.java:139) at blog.bn.RandFuncAppVar.getDistrib(RandFuncAppVar.java:116) at blog.sample.ClassicInstantiatingEvalContext.instantiate(ClassicInstantiatingEvalContext.java:167) at blog.sample.ClassicInstantiatingEvalContext.getOrComputeValue(ClassicInstantiatingEvalContext.java:116) at blog.sample.ParentRecEvalContext.getValue(ParentRecEvalContext.java:75) at blog.bn.VarWithDistrib.ensureDetAndSupported(VarWithDistrib.java:129) at blog.BLOGUtil.ensureDetAndSupported(BLOGUtil.java:49) at blog.BLOGUtil.ensureDetAndSupported(BLOGUtil.java:59) at blog.engine.Particle.answer(Particle.java:107) at blog.engine.ParticleFilter.takeEvidenceAndAnswerQuery(ParticleFilter.java:217) at blog.engine.ParticleFilter.resetAndTakeInitialEvidence(ParticleFilter.java:155) at blog.engine.ParticleFilter.answerQueries(ParticleFilter.java:141) at blog.Main.run(Main.java:190) at blog.Main.main(Main.java:153)

../example/hurricane-new.blog
Exception in thread "main" java.lang.NullPointerException at java.util.TreeMap.compare(TreeMap.java:1188) at java.util.TreeMap.put(TreeMap.java:531) at java.util.TreeSet.add(TreeSet.java:255) at java.util.AbstractCollection.addAll(AbstractCollection.java:334) at java.util.TreeSet.addAll(TreeSet.java:312) at java.util.TreeSet.<init>(TreeSet.java:160) at blog.engine.ParticleFilter.takeEvidenceAndAnswerQuery(ParticleFilter.java:192) at blog.engine.ParticleFilter.resetAndTakeInitialEvidence(ParticleFilter.java:155) at blog.engine.ParticleFilter.answerQueries(ParticleFilter.java:141) at blog.Main.run(Main.java:190) at blog.Main.main(Main.java:153)

../example/hurricane.blog
Error parsing file: ../example/hurricane.blog Fatal error: don't know how to process ArgSpec of type blog.model.MapSpec java.lang.RuntimeException: don't know how to process ArgSpec of type blog.model.MapSpec at blog.model.FuncAppTerm.checkTypesAndScope(FuncAppTerm.java:342) at blog.model.MapSpec.checkTypesAndScope(MapSpec.java:191) at blog.model.MapSpec.checkTypesAndScope(MapSpec.java:177) at blog.model.CaseSpec.checkTypesAndScope(CaseSpec.java:67) at blog.model.DependencyModel.checkTypesAndScope(DependencyModel.java:187) at blog.model.RandomFunction.checkTypesAndScope(RandomFunction.java:103) at blog.model.Model.checkTypesAndScope(Model.java:469) at blog.semant.Semant.transProg(Semant.java:1311) at blog.Main.parseAndTranslate(Main.java:492) at blog.Main.setup(Main.java:436) at blog.Main.main(Main.java:152) Exception in thread "main" java.lang.Error: Fatal error: at blog.common.Util.fatalError(Util.java:524) at blog.common.Util.fatalError(Util.java:497) at blog.common.Util.fatalError(Util.java:481) at blog.Main.setup(Main.java:443) at blog.Main.main(Main.java:152)

../example/tugwar.blog
Exception in thread "main" java.lang.NullPointerException at java.util.TreeMap.compare(TreeMap.java:1188) at java.util.TreeMap.put(TreeMap.java:531) at java.util.TreeSet.add(TreeSet.java:255) at java.util.AbstractCollection.addAll(AbstractCollection.java:334) at java.util.TreeSet.addAll(TreeSet.java:312) at java.util.TreeSet.<init>(TreeSet.java:160) at blog.engine.ParticleFilter.takeEvidenceAndAnswerQuery(ParticleFilter.java:192) at blog.engine.ParticleFilter.resetAndTakeInitialEvidence(ParticleFilter.java:155) at blog.engine.ParticleFilter.answerQueries(ParticleFilter.java:141) at blog.Main.run(Main.java:190) at blog.Main.main(Main.java:153)

../example/and-or/projection.blog
Exception in thread "main" java.lang.IllegalArgumentException: Map values must either be terms or clauses (if-then-else, case, distributions)! at blog.model.MapSpec.compile(MapSpec.java:82) at blog.model.CaseSpec.compile(CaseSpec.java:73) at blog.model.DependencyModel.compile(DependencyModel.java:202) at blog.model.RandomFunction.compile(RandomFunction.java:127) at blog.model.Model.compile(Model.java:531) at blog.Main.setup(Main.java:472) at blog.Main.main(Main.java:152)

../example/and-or/or-node.blog
../example/and-or/or-node.blog::30.7: Number expression expecting implicit set ../example/and-or/or-node.blog::31.7: Number expression expecting implicit set ../example/and-or/or-node.blog::32.7: Number expression expecting implicit set ../example/and-or/or-node.blog::33.7: Number expression expecting implicit set

../example/and-or/scene_face_integer_testcase.blog
../example/and-or/scene_face_integer_testcase.blog::224.7: Number expression expecting implicit set

../example/and-or/and-node.blog
../example/and-or/and-node.blog::31.7: Number expression expecting implicit set ../example/and-or/and-node.blog::32.7: Number expression expecting implicit set ../example/and-or/and-node.blog::33.7: Number expression expecting implicit set

../example/and-or/scene-and-or-2.blog
../example/and-or/scene-and-or-2.blog::141.7: Number expression expecting implicit set ../example/and-or/scene-and-or-2.blog::142.7: Number expression expecting implicit set ../example/and-or/scene-and-or-2.blog::143.7: Number expression expecting implicit set ../example/and-or/scene-and-or-2.blog::144.7: Number expression expecting implicit set ../example/and-or/scene-and-or-2.blog::148.7: Number expression expecting implicit set ../example/and-or/scene-and-or-2.blog::149.7: Number expression expecting implicit set ../example/and-or/scene-and-or-2.blog::150.7: Number expression expecting implicit set (no location): Symbol "W1" is neither a variable in the current scope nor a zero-ary function. (no location): Symbol "W2" is neither a variable in the current scope nor a zero-ary function. (no location): Symbol "W3" is neither a variable in the current scope nor a zero-ary function. (no location): Symbol "W4" is neither a variable in the current scope nor a zero-ary function. (no location): Symbol "W5" is neither a variable in the current scope nor a zero-ary function. (no location): Symbol "W6" is neither a variable in the current scope nor a zero-ary function. ../example/and-or/scene-and-or-2.blog::0.0: type checking failed for evidence

../example/and-or/ordering.blog
../example/and-or/ordering.blog::35.7: Number expression expecting implicit set

../example/and-or/scene.blog
../example/and-or/scene.blog::266.7: Number expression expecting implicit set ../example/and-or/scene.blog::267.7: Number expression expecting implicit set

../example/and-or/projection_tmp.blog
../example/and-or/projection_tmp.blog::44.7: Number expression expecting implicit set

../example/and-or/scene_face_real.blog
../example/and-or/scene_face_real.blog::227.7: Number expression expecting implicit set ../example/and-or/scene_face_real.blog::228.7: Number expression expecting implicit set ../example/and-or/scene_face_real.blog::229.7: Number expression expecting implicit set

../example/and-or/scene-and-or.blog
../example/and-or/scene-and-or.blog::89.7: Number expression expecting implicit set ../example/and-or/scene-and-or.blog::90.7: Number expression expecting implicit set ../example/and-or/scene-and-or.blog::91.7: Number expression expecting implicit set ../example/and-or/scene-and-or.blog::92.7: Number expression expecting implicit set ../example/and-or/scene-and-or.blog::96.7: Number expression expecting implicit set ../example/and-or/scene-and-or.blog::97.7: Number expression expecting implicit set

../example/and-or/scene_face_bkp.blog
../example/and-or/scene_face_bkp.blog::224.7: Number expression expecting implicit set

../example/and-or/projection3.blog
../example/and-or/projection3.blog::78.7: Number expression expecting implicit set

../example/and-or/projection2.blog
../example/and-or/projection2.blog::93.7: Number expression expecting implicit set ../example/and-or/projection2.blog::94.7: Number expression expecting implicit set (no location): Symbol "o1" is neither a variable in the current scope nor a zero-ary function. (no location): Symbol "o1" is neither a variable in the current scope nor a zero-ary function. (no location): Symbol "o1" is neither a variable in the current scope nor a zero-ary function. (no location): Symbol "o1" is neither a variable in the current scope nor a zero-ary function. ../example/and-or/projection2.blog::0.0: type checking failed for evidence

../example/and-or/scene_face.blog
../example/and-or/scene_face.blog::225.7: Number expression expecting implicit set ../example/and-or/scene_face.blog::226.7: Number expression expecting implicit set ../example/and-or/scene_face.blog::227.7: Number expression expecting implicit set

../example/and-or/scene_face_integer.blog
../example/and-or/scene_face_integer.blog::223.7: Number expression expecting implicit set

../example/and-or/scene2.blog
../example/and-or/scene2.blog::282.7: Number expression expecting implicit set ../example/and-or/scene2.blog::283.7: Number expression expecting implicit set ../example/and-or/scene2.blog::284.7: Number expression expecting implicit set

../example/csi.blog
Error parsing file: ../example/csi.blog Fatal error: don't know how to process ArgSpec of type blog.model.MapSpec java.lang.RuntimeException: don't know how to process ArgSpec of type blog.model.MapSpec at blog.model.FuncAppTerm.checkTypesAndScope(FuncAppTerm.java:342) at blog.model.MapSpec.checkTypesAndScope(MapSpec.java:191) at blog.model.MapSpec.checkTypesAndScope(MapSpec.java:177) at blog.model.CaseSpec.checkTypesAndScope(CaseSpec.java:67) at blog.model.DependencyModel.checkTypesAndScope(DependencyModel.java:187) at blog.model.RandomFunction.checkTypesAndScope(RandomFunction.java:103) at blog.model.Model.checkTypesAndScope(Model.java:469) at blog.semant.Semant.transProg(Semant.java:1311) at blog.Main.parseAndTranslate(Main.java:492) at blog.Main.setup(Main.java:436) at blog.Main.main(Main.java:152) Exception in thread "main" java.lang.Error: Fatal error: at blog.common.Util.fatalError(Util.java:524) at blog.common.Util.fatalError(Util.java:497) at blog.common.Util.fatalError(Util.java:481) at blog.Main.setup(Main.java:443) at blog.Main.main(Main.java:152)

../example/grades.blog
Error parsing file: ../example/grades.blog Fatal error: don't know how to process ArgSpec of type blog.model.MapSpec java.lang.RuntimeException: don't know how to process ArgSpec of type blog.model.MapSpec at blog.model.FuncAppTerm.checkTypesAndScope(FuncAppTerm.java:342) at blog.model.MapSpec.checkTypesAndScope(MapSpec.java:191) at blog.model.MapSpec.checkTypesAndScope(MapSpec.java:177) at blog.model.CaseSpec.checkTypesAndScope(CaseSpec.java:67) at blog.model.MapSpec.checkTypesAndScope(MapSpec.java:191) at blog.model.MapSpec.checkTypesAndScope(MapSpec.java:177) at blog.model.CaseSpec.checkTypesAndScope(CaseSpec.java:67) at blog.model.DependencyModel.checkTypesAndScope(DependencyModel.java:187) at blog.model.RandomFunction.checkTypesAndScope(RandomFunction.java:103) at blog.model.Model.checkTypesAndScope(Model.java:469) at blog.semant.Semant.transProg(Semant.java:1311) at blog.Main.parseAndTranslate(Main.java:492) at blog.Main.setup(Main.java:436) at blog.Main.main(Main.java:152) Exception in thread "main" java.lang.Error: Fatal error: at blog.common.Util.fatalError(Util.java:524) at blog.common.Util.fatalError(Util.java:497) at blog.common.Util.fatalError(Util.java:481) at blog.Main.setup(Main.java:443) at blog.Main.main(Main.java:152)

../example/aircraft-static.blog
../example/aircraft-static.blog::25.7: Number expression expecting implicit set (no location): Symbol "b1" is neither a variable in the current scope nor a zero-ary function. (no location): Symbol "b2" is neither a variable in the current scope nor a zero-ary function. (no location): Symbol "b3" is neither a variable in the current scope nor a zero-ary function. (no location): Symbol "b4" is neither a variable in the current scope nor a zero-ary function. ../example/aircraft-static.blog::0.0: type checking failed for evidence (no location): Symbol "b1" is neither a variable in the current scope nor a zero-ary function. ../example/aircraft-static.blog::0.0: type checking failed for query

../example/healthiness.blog
Error parsing file: ../example/healthiness.blog Fatal error: don't know how to process ArgSpec of type blog.model.MapSpec java.lang.RuntimeException: don't know how to process ArgSpec of type blog.model.MapSpec at blog.model.FuncAppTerm.checkTypesAndScope(FuncAppTerm.java:342) at blog.model.DistribSpec.checkTypesAndScope(DistribSpec.java:143) at blog.model.DependencyModel.checkTypesAndScope(DependencyModel.java:186) at blog.model.RandomFunction.checkTypesAndScope(RandomFunction.java:103) at blog.model.Model.checkTypesAndScope(Model.java:469) at blog.semant.Semant.transProg(Semant.java:1311) at blog.Main.parseAndTranslate(Main.java:492) at blog.Main.setup(Main.java:436) at blog.Main.main(Main.java:152) Exception in thread "main" java.lang.Error: Fatal error: at blog.common.Util.fatalError(Util.java:524) at blog.common.Util.fatalError(Util.java:497) at blog.common.Util.fatalError(Util.java:481) at blog.Main.setup(Main.java:443) at blog.Main.main(Main.java:152)

../example/simple-aircraft.blog
../example/simple-aircraft.blog::13.5: Number expression expecting implicit set ../example/simple-aircraft.blog::13.5: Invalid expression on the left side of evidence. ../example/simple-aircraft.blog::16.7: Number expression expecting implicit set

../example/birthday.blog
../example/birthday.blog::11.5: Number expression expecting implicit set ../example/birthday.blog::11.5: Invalid expression on the left side of evidence.

../example/sybil-attack-exp2.blog
Error parsing file: ../example/sybil-attack-exp2.blog Fatal error: don't know how to process ArgSpec of type blog.model.MapSpec java.lang.RuntimeException: don't know how to process ArgSpec of type blog.model.MapSpec at blog.model.FuncAppTerm.checkTypesAndScope(FuncAppTerm.java:342) at blog.model.MapSpec.checkTypesAndScope(MapSpec.java:191) at blog.model.MapSpec.checkTypesAndScope(MapSpec.java:177) at blog.model.CaseSpec.checkTypesAndScope(CaseSpec.java:67) at blog.model.MapSpec.checkTypesAndScope(MapSpec.java:191) at blog.model.MapSpec.checkTypesAndScope(MapSpec.java:177) at blog.model.CaseSpec.checkTypesAndScope(CaseSpec.java:67) at blog.model.DependencyModel.checkTypesAndScope(DependencyModel.java:187) at blog.model.RandomFunction.checkTypesAndScope(RandomFunction.java:103) at blog.model.Model.checkTypesAndScope(Model.java:469) at blog.semant.Semant.transProg(Semant.java:1311) at blog.Main.parseAndTranslate(Main.java:492) at blog.Main.setup(Main.java:436) at blog.Main.main(Main.java:152) Exception in thread "main" java.lang.Error: Fatal error: at blog.common.Util.fatalError(Util.java:524) at blog.common.Util.fatalError(Util.java:497) at blog.common.Util.fatalError(Util.java:481) at blog.Main.setup(Main.java:443) at blog.Main.main(Main.java:152)

../example/background/background-mixture-with-variable.blog
Exception in getProb for variable Intensity(1, 1, @1) Fatal error: The mean given is not a valid row vector. It has dimensions 3 by 1. java.lang.IllegalArgumentException: The mean given is not a valid row vector. It has dimensions 3 by 1. at blog.distrib.MultivarGaussian.setParams(MultivarGaussian.java:89) at blog.distrib.MultivarGaussian.setParams(MultivarGaussian.java:70) at blog.world.AbstractPartialWorld$DefaultInfoUpdater.updateVarInfo(AbstractPartialWorld.java:797) at blog.world.AbstractPartialWorld.updateParentsAndProbs(AbstractPartialWorld.java:905) at blog.world.AbstractPartialWorld.updateParentsAndProbs(AbstractPartialWorld.java:492) at blog.world.AbstractPartialWorld.getLogProbOfValue(AbstractPartialWorld.java:220) at blog.model.Evidence.getEvidenceLogProb(Evidence.java:328) at blog.model.Evidence.getEvidenceLogProb(Evidence.java:312) at blog.sample.LWSampler.supportEvidenceAndCalculateLogWeight(LWSampler.java:140) at blog.sample.LWSampler.nextSample(LWSampler.java:119) at blog.engine.Particle.take(Particle.java:85) at blog.engine.ParticleFilter.take(ParticleFilter.java:263) at blog.engine.ParticleFilter.takeEvidenceAndAnswerQuery(ParticleFilter.java:196) at blog.engine.ParticleFilter.resetAndTakeInitialEvidence(ParticleFilter.java:155) at blog.engine.ParticleFilter.answerQueries(ParticleFilter.java:141) at blog.Main.run(Main.java:190) at blog.Main.main(Main.java:153) Exception in thread "main" java.lang.Error: Fatal error: at blog.common.Util.fatalError(Util.java:524) at blog.common.Util.fatalError(Util.java:497) at blog.common.Util.fatalError(Util.java:481) at blog.world.AbstractPartialWorld$DefaultInfoUpdater.updateVarInfo(AbstractPartialWorld.java:807) at blog.world.AbstractPartialWorld.updateParentsAndProbs(AbstractPartialWorld.java:905) at blog.world.AbstractPartialWorld.updateParentsAndProbs(AbstractPartialWorld.java:492) at blog.world.AbstractPartialWorld.getLogProbOfValue(AbstractPartialWorld.java:220) at blog.model.Evidence.getEvidenceLogProb(Evidence.java:328) at blog.model.Evidence.getEvidenceLogProb(Evidence.java:312) at blog.sample.LWSampler.supportEvidenceAndCalculateLogWeight(LWSampler.java:140) at blog.sample.LWSampler.nextSample(LWSampler.java:119) at blog.engine.Particle.take(Particle.java:85) at blog.engine.ParticleFilter.take(ParticleFilter.java:263) at blog.engine.ParticleFilter.takeEvidenceAndAnswerQuery(ParticleFilter.java:196) at blog.engine.ParticleFilter.resetAndTakeInitialEvidence(ParticleFilter.java:155) at blog.engine.ParticleFilter.answerQueries(ParticleFilter.java:141) at blog.Main.run(Main.java:190) at blog.Main.main(Main.java:153)

../example/background/background-mixture.blog
java.lang.IllegalArgumentException: The mean given is not a valid row vector. It has dimensions 3 by 1. at blog.distrib.MultivarGaussian.setParams(MultivarGaussian.java:89) at blog.distrib.MultivarGaussian.setParams(MultivarGaussian.java:70) at blog.model.DistribSpec.initCPD(DistribSpec.java:260) at blog.model.DistribSpec.compile(DistribSpec.java:192) at blog.model.MapSpec.compile(MapSpec.java:77) at blog.model.CaseSpec.compile(CaseSpec.java:73) at blog.model.DependencyModel.compile(DependencyModel.java:202) at blog.model.RandomFunction.compile(RandomFunction.java:127) at blog.model.Model.compile(Model.java:531) at blog.Main.setup(Main.java:472) at blog.Main.main(Main.java:152) Error initializing CPD at 40: couldn't instantiate class class blog.distrib.MultivarGaussian java.lang.IllegalArgumentException: The mean given is not a valid row vector. It has dimensions 3 by 1. at blog.distrib.MultivarGaussian.setParams(MultivarGaussian.java:89) at blog.distrib.MultivarGaussian.setParams(MultivarGaussian.java:70) at blog.model.DistribSpec.initCPD(DistribSpec.java:260) at blog.model.DistribSpec.compile(DistribSpec.java:192) at blog.model.MapSpec.compile(MapSpec.java:77) at blog.model.CaseSpec.compile(CaseSpec.java:73) at blog.model.MapSpec.compile(MapSpec.java:80) at blog.model.CaseSpec.compile(CaseSpec.java:73) at blog.model.DependencyModel.compile(DependencyModel.java:202) at blog.model.RandomFunction.compile(RandomFunction.java:127) at blog.model.Model.compile(Model.java:531) at blog.Main.setup(Main.java:472) at blog.Main.main(Main.java:152) Error initializing CPD at 42: couldn't instantiate class class blog.distrib.MultivarGaussian java.lang.IllegalArgumentException: The mean given is not a valid row vector. It has dimensions 3 by 1. at blog.distrib.MultivarGaussian.setParams(MultivarGaussian.java:89) at blog.distrib.MultivarGaussian.setParams(MultivarGaussian.java:70) at blog.model.DistribSpec.initCPD(DistribSpec.java:260) at blog.model.DistribSpec.compile(DistribSpec.java:192) at blog.model.MapSpec.compile(MapSpec.java:77) at blog.model.CaseSpec.compile(CaseSpec.java:73) at blog.model.MapSpec.compile(MapSpec.java:80) at blog.model.CaseSpec.compile(CaseSpec.java:73) at blog.model.MapSpec.compile(MapSpec.java:80) at blog.model.CaseSpec.compile(CaseSpec.java:73) at blog.model.DependencyModel.compile(DependencyModel.java:202) at blog.model.RandomFunction.compile(RandomFunction.java:127) at blog.model.Model.compile(Model.java:531) at blog.Main.setup(Main.java:472) at blog.Main.main(Main.java:152) Error initializing CPD at 44: couldn't instantiate class class blog.distrib.MultivarGaussian Encountered 3 errors in compilation phase.

../example/background/background-mixture-uniform-prior-per-pixel.blog
java.lang.ArrayStoreException at java.lang.System.arraycopy(Native Method) at blog.distrib.UniformVector.setParams(UniformVector.java:91) at blog.model.DistribSpec.initCPD(DistribSpec.java:260) at blog.model.DistribSpec.compile(DistribSpec.java:192) at blog.model.DependencyModel.compile(DependencyModel.java:202) at blog.model.RandomFunction.compile(RandomFunction.java:127) at blog.model.Model.compile(Model.java:531) at blog.Main.setup(Main.java:472) at blog.Main.main(Main.java:152) Error initializing CPD at 29: couldn't instantiate class class blog.distrib.UniformVector java.lang.IllegalArgumentException: expected one parameter at blog.distrib.Dirichlet.setParams(Dirichlet.java:74) at blog.model.DistribSpec.initCPD(DistribSpec.java:260) at blog.model.DistribSpec.compile(DistribSpec.java:192) at blog.model.DependencyModel.compile(DependencyModel.java:202) at blog.model.RandomFunction.compile(RandomFunction.java:127) at blog.model.Model.compile(Model.java:531) at blog.Main.setup(Main.java:472) at blog.Main.main(Main.java:152) Error initializing CPD at 32: couldn't instantiate class class blog.distrib.Dirichlet Encountered 2 errors in compilation phase.

../example/background/background-mixture-uniform-prior.blog
java.lang.ArrayStoreException at java.lang.System.arraycopy(Native Method) at blog.distrib.UniformVector.setParams(UniformVector.java:91) at blog.model.DistribSpec.initCPD(DistribSpec.java:260) at blog.model.DistribSpec.compile(DistribSpec.java:192) at blog.model.DependencyModel.compile(DependencyModel.java:202) at blog.model.RandomFunction.compile(RandomFunction.java:127) at blog.model.Model.compile(Model.java:531) at blog.Main.setup(Main.java:472) at blog.Main.main(Main.java:152) Error initializing CPD at 27: couldn't instantiate class class blog.distrib.UniformVector java.lang.IllegalArgumentException: expected one parameter at blog.distrib.Dirichlet.setParams(Dirichlet.java:74) at blog.model.DistribSpec.initCPD(DistribSpec.java:260) at blog.model.DistribSpec.compile(DistribSpec.java:192) at blog.model.DependencyModel.compile(DependencyModel.java:202) at blog.model.RandomFunction.compile(RandomFunction.java:127) at blog.model.Model.compile(Model.java:531) at blog.Main.setup(Main.java:472) at blog.Main.main(Main.java:152) Error initializing CPD at 29: couldn't instantiate class class blog.distrib.Dirichlet Encountered 2 errors in compilation phase.

../example/tugwar2.blog
Exception in thread "main" java.lang.NullPointerException at java.util.TreeMap.compare(TreeMap.java:1188) at java.util.TreeMap.put(TreeMap.java:531) at java.util.TreeSet.add(TreeSet.java:255) at java.util.AbstractCollection.addAll(AbstractCollection.java:334) at java.util.TreeSet.addAll(TreeSet.java:312) at java.util.TreeSet.<init>(TreeSet.java:160) at blog.engine.ParticleFilter.takeEvidenceAndAnswerQuery(ParticleFilter.java:192) at blog.engine.ParticleFilter.resetAndTakeInitialEvidence(ParticleFilter.java:155) at blog.engine.ParticleFilter.answerQueries(ParticleFilter.java:141) at blog.Main.run(Main.java:190) at blog.Main.main(Main.java:153)

../example/pcfg/tiny-pcfg.blog
74: No function named Iota is applicable to arguments of types [Set] 97: No function named Iota is applicable to arguments of types [Set] 101: No function named Succ is applicable to arguments of types [Integer] ../example/pcfg/tiny-pcfg.blog::0.0: type checking failed

../example/pcfg/simple-pcfg.blog
76: No function named Iota is applicable to arguments of types [Set] 99: No function named Iota is applicable to arguments of types [Set] 103: No function named Succ is applicable to arguments of types [Integer] ../example/pcfg/simple-pcfg.blog::0.0: type checking failed

../example/mixture-of-gaussian.blog
Exception in thread "main" java.lang.NullPointerException at java.util.TreeMap.compare(TreeMap.java:1188) at java.util.TreeMap.put(TreeMap.java:531) at java.util.TreeSet.add(TreeSet.java:255) at java.util.AbstractCollection.addAll(AbstractCollection.java:334) at java.util.TreeSet.addAll(TreeSet.java:312) at java.util.TreeSet.<init>(TreeSet.java:160) at blog.engine.ParticleFilter.takeEvidenceAndAnswerQuery(ParticleFilter.java:192) at blog.engine.ParticleFilter.resetAndTakeInitialEvidence(ParticleFilter.java:155) at blog.engine.ParticleFilter.answerQueries(ParticleFilter.java:141) at blog.Main.run(Main.java:190) at blog.Main.main(Main.java:153)

../example/tugwar1.blog
Exception in thread "main" java.lang.NullPointerException at java.util.TreeMap.compare(TreeMap.java:1188) at java.util.TreeMap.put(TreeMap.java:531) at java.util.TreeSet.add(TreeSet.java:255) at java.util.AbstractCollection.addAll(AbstractCollection.java:334) at java.util.TreeSet.addAll(TreeSet.java:312) at java.util.TreeSet.<init>(TreeSet.java:160) at blog.engine.ParticleFilter.takeEvidenceAndAnswerQuery(ParticleFilter.java:192) at blog.engine.ParticleFilter.resetAndTakeInitialEvidence(ParticleFilter.java:155) at blog.engine.ParticleFilter.answerQueries(ParticleFilter.java:141) at blog.Main.run(Main.java:190) at blog.Main.main(Main.java:153)

../example/helicopter-static.blog
Error parsing file: ../example/helicopter-static.blog Fatal error: don't know how to process ArgSpec of type blog.model.MapSpec java.lang.RuntimeException: don't know how to process ArgSpec of type blog.model.MapSpec at blog.model.FuncAppTerm.checkTypesAndScope(FuncAppTerm.java:342) at blog.model.MapSpec.checkTypesAndScope(MapSpec.java:191) at blog.model.MapSpec.checkTypesAndScope(MapSpec.java:177) at blog.model.CaseSpec.checkTypesAndScope(CaseSpec.java:67) at blog.model.MapSpec.checkTypesAndScope(MapSpec.java:191) at blog.model.MapSpec.checkTypesAndScope(MapSpec.java:177) at blog.model.CaseSpec.checkTypesAndScope(CaseSpec.java:67) at blog.model.DependencyModel.checkTypesAndScope(DependencyModel.java:187) at blog.model.RandomFunction.checkTypesAndScope(RandomFunction.java:103) at blog.model.Model.checkTypesAndScope(Model.java:469) at blog.semant.Semant.transProg(Semant.java:1311) at blog.Main.parseAndTranslate(Main.java:492) at blog.Main.setup(Main.java:436) at blog.Main.main(Main.java:152) Exception in thread "main" java.lang.Error: Fatal error: at blog.common.Util.fatalError(Util.java:524) at blog.common.Util.fatalError(Util.java:497) at blog.common.Util.fatalError(Util.java:481) at blog.Main.setup(Main.java:443) at blog.Main.main(Main.java:152)

../example/sybil-attack-exp1.blog
Error parsing file: ../example/sybil-attack-exp1.blog Fatal error: don't know how to process ArgSpec of type blog.model.MapSpec java.lang.RuntimeException: don't know how to process ArgSpec of type blog.model.MapSpec at blog.model.FuncAppTerm.checkTypesAndScope(FuncAppTerm.java:342) at blog.model.MapSpec.checkTypesAndScope(MapSpec.java:191) at blog.model.MapSpec.checkTypesAndScope(MapSpec.java:177) at blog.model.CaseSpec.checkTypesAndScope(CaseSpec.java:67) at blog.model.MapSpec.checkTypesAndScope(MapSpec.java:191) at blog.model.MapSpec.checkTypesAndScope(MapSpec.java:177) at blog.model.CaseSpec.checkTypesAndScope(CaseSpec.java:67) at blog.model.DependencyModel.checkTypesAndScope(DependencyModel.java:187) at blog.model.RandomFunction.checkTypesAndScope(RandomFunction.java:103) at blog.model.Model.checkTypesAndScope(Model.java:469) at blog.semant.Semant.transProg(Semant.java:1311) at blog.Main.parseAndTranslate(Main.java:492) at blog.Main.setup(Main.java:436) at blog.Main.main(Main.java:152) Exception in thread "main" java.lang.Error: Fatal error: at blog.common.Util.fatalError(Util.java:524) at blog.common.Util.fatalError(Util.java:497) at blog.common.Util.fatalError(Util.java:481) at blog.Main.setup(Main.java:443) at blog.Main.main(Main.java:152)