[Soot-list] "Operands in conditional operator does not match" using Soot eclipse plug-in
Eric Bodden
bodden at st.informatik.tu-darmstadt.de
Tue Dec 1 17:39:57 EST 2009
Hi Joe.
>From what I can see, it seems that Soot's JastAdd frontend failed to
parse the Java file that you are trying to analyze. Are you sure that
it's a valid Java file? (AgnesResultSpeci.java that is)
Eric
--
Eric Bodden
Software Technology Group, Technische Universität Darmstadt, Germany
Tel: +49 6151 16-5478 Fax: +49 6151 16-5410
Mailing Address: S2|02 A209, Hochschulstraße 10, 64289 Darmstadt
2009/12/1 Joe Siponen <joe.siponen at gmail.com>:
> I am trying to use the Soot eclipse plug-in.
> The version of my Eclipse is 3.5.0 and I installed the latest version of the
> Soot plug-in.
> I try to run soot and I get back:
> Starting from Soot's class library:
> soot.Main --app --v --d
> /Users/joes/Documents/signe_workspace/signe/sootOutput --cp [...]
> --process-dir [...] --keep-line-number --throw-analysis unit --debug
> --xml-attributes --src-prec java
> Soot started on Tue Dec 01 14:34:08 CET 2009
> [...]
> resolving [from .java]: se.skl.agnes.model.AgnesResultSpeci
> /Users/joes/Documents/signe_workspace/signe/src/model/se/skl/agnes/model/AgnesResultSpeci.java:336:
> Semantic Error: *** Operands in conditional operator does not match
> /Users/joes/Documents/signe_workspace/signe/src/model/se/skl/agnes/model/AgnesResultSpeci.java:337:
> Semantic Error: *** Operands in conditional operator does not match
> /Users/joes/Documents/signe_workspace/signe/src/model/se/skl/agnes/model/AgnesResultSpeci.java:338:
> Semantic Error: *** Operands in conditional operator does not match
> /Users/joes/Documents/signe_workspace/signe/src/model/se/skl/agnes/model/AgnesResultSpeci.java:339:
> Semantic Error: *** Operands in conditional operator does not match
> /Users/joes/Documents/signe_workspace/signe/src/model/se/skl/agnes/model/AgnesResultSpeci.java:340:
> Semantic Error: *** Operands in conditional operator does not match
> /Users/joes/Documents/signe_workspace/signe/src/model/se/skl/agnes/model/AgnesResultSpeci.java:341:
> Semantic Error: *** Operands in conditional operator does not match
> /Users/joes/Documents/signe_workspace/signe/src/model/se/skl/agnes/model/AgnesResultSpeci.java:342:
> Semantic Error: *** Operands in conditional operator does not match
> /Users/joes/Documents/signe_workspace/signe/src/model/se/skl/agnes/model/AgnesResultSpeci.java:343:
> Semantic Error: *** Operands in conditional operator does not match
> /Users/joes/Documents/signe_workspace/signe/src/model/se/skl/agnes/model/AgnesResultSpeci.java:344:
> Semantic Error: *** Operands in conditional operator does not match
> /Users/joes/Documents/signe_workspace/signe/src/model/se/skl/agnes/model/AgnesResultSpeci.java:345:
> Semantic Error: *** Operands in conditional operator does not match
> /Users/joes/Documents/signe_workspace/signe/src/model/se/skl/agnes/model/AgnesResultSpeci.java:346:
> Semantic Error: *** Operands in conditional operator does not match
> /Users/joes/Documents/signe_workspace/signe/src/model/se/skl/agnes/model/AgnesResultSpeci.java:347:
> Semantic Error: *** Operands in conditional operator does not match
> /Users/joes/Documents/signe_workspace/signe/src/model/se/skl/agnes/model/AgnesResultSpeci.java:348:
> Semantic Error: *** Operands in conditional operator does not match
> /Users/joes/Documents/signe_workspace/signe/src/model/se/skl/agnes/model/AgnesResultSpeci.java:349:
> Semantic Error: *** Operands in conditional operator does not match
> /Users/joes/Documents/signe_workspace/signe/src/model/se/skl/agnes/model/AgnesResultSpeci.java:350:
> Semantic Error: *** Operands in conditional operator does not match
> /Users/joes/Documents/signe_workspace/signe/src/model/se/skl/agnes/model/AgnesResultSpeci.java:351:
> Semantic Error: *** Operands in conditional operator does not match
> /Users/joes/Documents/signe_workspace/signe/src/model/se/skl/agnes/model/AgnesResultSpeci.java:352:
> Semantic Error: *** Operands in conditional operator does not match
> /Users/joes/Documents/signe_workspace/signe/src/model/se/skl/agnes/model/AgnesResultSpeci.java:353:
> Semantic Error: *** Operands in conditional operator does not match
> /Users/joes/Documents/signe_workspace/signe/src/model/se/skl/agnes/model/AgnesResultSpeci.java:354:
> Semantic Error: *** Operands in conditional operator does not match
> /Users/joes/Documents/signe_workspace/signe/src/model/se/skl/agnes/model/AgnesResultSpeci.java:355:
> Semantic Error: *** Operands in conditional operator does not match
> /Users/joes/Documents/signe_workspace/signe/src/model/se/skl/agnes/model/AgnesResultSpeci.java:356:
> Semantic Error: *** Operands in conditional operator does not match
> /Users/joes/Documents/signe_workspace/signe/src/model/se/skl/agnes/model/AgnesResultSpeci.java:357:
> Semantic Error: *** Operands in conditional operator does not match
> /Users/joes/Documents/signe_workspace/signe/src/model/se/skl/agnes/model/AgnesResultSpeci.java:358:
> Semantic Error: *** Operands in conditional operator does not match
> /Users/joes/Documents/signe_workspace/signe/src/model/se/skl/agnes/model/AgnesResultSpeci.java:359:
> Semantic Error: *** Operands in conditional operator does not match
> /Users/joes/Documents/signe_workspace/signe/src/model/se/skl/agnes/model/AgnesResultSpeci.java:360:
> Semantic Error: *** Operands in conditional operator does not match
> /Users/joes/Documents/signe_workspace/signe/src/model/se/skl/agnes/model/AgnesResultSpeci.java:361:
> Semantic Error: *** Operands in conditional operator does not match
> /Users/joes/Documents/signe_workspace/signe/src/model/se/skl/agnes/model/AgnesResultSpeci.java:362:
> Semantic Error: *** Operands in conditional operator does not match
> /Users/joes/Documents/signe_workspace/signe/src/model/se/skl/agnes/model/AgnesResultSpeci.java:363:
> Semantic Error: *** Operands in conditional operator does not match
> /Users/joes/Documents/signe_workspace/signe/src/model/se/skl/agnes/model/AgnesResultSpeci.java:364:
> Semantic Error: *** Operands in conditional operator does not match
> /Users/joes/Documents/signe_workspace/signe/src/model/se/skl/agnes/model/AgnesResultSpeci.java:365:
> Semantic Error: *** Operands in conditional operator does not match
> compilation failed: there were errors during parsing and/or type checking
> (JastAdd frontend)
> The offending lines above are (included with method context):
> 332 public AgnesResultSpeci(AgnesUnitSpeci unitspeci, AgnesService
> service, Long productiontotal, Long productiontotalfemale, Long
> productiontotalmale, Long production90, Long production90female, Long
> production90male, Long productionpatientchoicespeci, Long
> productionpatientchoicespecifemale, Long productionpatientchoicespecimale,
> Long productionintervaltotal030, Long productionintervaltotal3160, Long
> productionintervaltotal6190, Long productionintervaltotal91120, Long
> productionintervaltotal121180, Long productionintervaltotal181365, Long
> productionintervaltotal366, Long productionintervalfemale030, Long
> productionintervalfemale3160, Long productionintervalfemale6190, Long
> productionintervalfemale91120, Long productionintervalfemale121180, Long
> productionintervalfemale181365, Long productionintervalfemale366, Long
> productionintervalmale030, Long productionintervalmale3160, Long
> productionintervalmale6190, Long productionintervalmale91120, Long
> productionintervalmale121180, Long productionintervalmale181365, Long
> productionintervalmale366, Long productionintDone, Long
> productiontotalAnswer, Long productiontotalfemaleAnswer, Long
> productiontotalmaleAnswer, Long production90Answer, Long
> production90femaleAnswer, Long production90maleAnswer, Long
> productionpatientchoicespeciAnswer, Long
> productionpatientchoicespecifemaleAnswer, Long
> productionpatientchoicespecimaleAnswer, Long
> productionintervaltotal030Answer, Long productionintervaltotal3160Answer,
> Long productionintervaltotal6190Answer, Long
> productionintervaltotal91120Answer, Long
> productionintervaltotal121180Answer, Long
> productionintervaltotal181365Answer, Long productionintervaltotal366Answer,
> Long productionintervalfemale030Answer, Long
> productionintervalfemale3160Answer, Long productionintervalfemale6190Answer,
> Long productionintervalfemale91120Answer, Long
> productionintervalfemale121180Answer, Long
> productionintervalfemale181365Answer, Long
> productionintervalfemale366Answer, Long productionintervalmale030Answer,
> Long productionintervalmale3160Answer, Long
> productionintervalmale6190Answer, Long productionintervalmale91120Answer,
> Long productionintervalmale121180Answer, Long
> productionintervalmale181365Answer, Long productionintervalmale366Answer){
> 333 this.unitspeci = unitspeci;
> 334 this.service = service;
> 335
> 336 this.productiontotal = (productiontotal == null) ? null :
> productiontotal.intValue();
> 337 this.productiontotalfemale = (productiontotalfemale == null)
> ? null : productiontotalfemale.intValue();
> 338 this.productiontotalmale = (productiontotalmale == null) ?
> null : productiontotalmale.intValue();
> 339 this.production90 = (production90 == null) ? null :
> production90.intValue();
> 340 this.production90female = (production90female == null) ?
> null : production90female.intValue();
> 341 this.production90male = (production90male == null) ? null :
> production90male.intValue();
> 342 this.productionpatientchoicespeci =
> (productionpatientchoicespeci == null) ? null :
> productionpatientchoicespeci.intValue();
> 343 this.productionpatientchoicespecifemale =
> (productionpatientchoicespecifemale == null) ? null :
> productionpatientchoicespecifemale.intValue();
> 344 this.productionpatientchoicespecimale =
> (productionpatientchoicespecimale == null) ? null :
> productionpatientchoicespecimale.intValue();
> 345 this.productionintervaltotal030 =
> (productionintervaltotal030 == null) ? null :
> productionintervaltotal030.intValue();
> 346 this.productionintervaltotal3160 =
> (productionintervaltotal3160 == null) ? null :
> productionintervaltotal3160.intValue();
> 347 this.productionintervaltotal6190 =
> (productionintervaltotal6190 == null) ? null :
> productionintervaltotal6190.intValue();
> 348 this.productionintervaltotal91120 =
> (productionintervaltotal91120 == null) ? null :
> productionintervaltotal91120.intValue();
> 349 this.productionintervaltotal121180 =
> (productionintervaltotal121180 == null) ? null :
> productionintervaltotal121180.intValue();
> 350 this.productionintervaltotal181365 =
> (productionintervaltotal181365 == null) ? null :
> productionintervaltotal181365.intValue();
> 351 this.productionintervaltotal366 =
> (productionintervaltotal366 == null) ? null :
> productionintervaltotal366.intValue();
> 352 this.productionintervalfemale030 =
> (productionintervalfemale030 == null) ? null :
> productionintervalfemale030.intValue();
> 353 this.productionintervalfemale3160 =
> (productionintervalfemale3160 == null) ? null :
> productionintervalfemale3160.intValue();
> 354 this.productionintervalfemale6190 =
> (productionintervalfemale6190 == null) ? null :
> productionintervalfemale6190.intValue();
> 355 this.productionintervalfemale91120 =
> (productionintervalfemale91120 == null) ? null :
> productionintervalfemale91120.intValue();
> 356 this.productionintervalfemale121180 =
> (productionintervalfemale121180 == null) ? null :
> productionintervalfemale121180.intValue();
> 357 this.productionintervalfemale181365 =
> (productionintervalfemale181365 == null) ? null :
> productionintervalfemale181365.intValue();
> 358 this.productionintervalfemale366 =
> (productionintervalfemale366 == null) ? null :
> productionintervalfemale366.intValue();
> 359 this.productionintervalmale030 = (productionintervalmale030
> == null) ? null : productionintervalmale030.intValue();
> 360 this.productionintervalmale3160 =
> (productionintervalmale3160 == null) ? null :
> productionintervalmale3160.intValue();
> 361 this.productionintervalmale6190 =
> (productionintervalmale6190 == null) ? null :
> productionintervalmale6190.intValue();
> 362 this.productionintervalmale91120 =
> (productionintervalmale91120 == null) ? null :
> productionintervalmale91120.intValue();
> 363 this.productionintervalmale121180 =
> (productionintervalmale121180 == null) ? null :
> productionintervalmale121180.intValue();
> 364 this.productionintervalmale181365 =
> (productionintervalmale181365 == null) ? null :
> productionintervalmale181365.intValue();
> 365 this.productionintervalmale366 = (productionintervalmale366
> == null) ? null : productionintervalmale366.intValue();
> 366 this.productionintDone = (productionintDone == null ||
> productionintDone == 0) ? 0 : 100;
> 367 this.productiontotalAnswer = (productiontotalAnswer == null
> || productiontotalAnswer == 0) ? 0 : 100;
> 368 this.productiontotalfemaleAnswer =
> (productiontotalfemaleAnswer == null || productiontotalfemaleAnswer == 0) ?
> 0 : 100;
> 369 this.productiontotalmaleAnswer = (productiontotalmaleAnswer
> == null || productiontotalmaleAnswer == 0) ? 0 : 100;
> 370 this.production90Answer = (production90Answer == null ||
> production90Answer == 0) ? 0 : 100;
> 371 this.production90femaleAnswer = (production90femaleAnswer ==
> null || production90femaleAnswer == 0) ? 0 : 100;
> 372 this.production90maleAnswer = (production90maleAnswer ==
> null || production90maleAnswer == 0) ? 0 : 100;
> 373 this.productionpatientchoicespeciAnswer =
> (productionpatientchoicespeciAnswer == null ||
> productionpatientchoicespeciAnswer == 0) ? 0 : 100;
> 374 this.productionpatientchoicespecifemaleAnswer =
> (productionpatientchoicespecifemaleAnswer == null ||
> productionpatientchoicespecifemaleAnswer == 0) ? 0 : 100;
> 375 this.productionpatientchoicespecimaleAnswer =
> (productionpatientchoicespecimaleAnswer == null ||
> productionpatientchoicespecimaleAnswer == 0) ? 0 : 100;
> 376 this.productionintervaltotal030Answer =
> (productionintervaltotal030Answer == null ||
> productionintervaltotal030Answer == 0) ? 0 : 100;
> 377 this.productionintervaltotal3160Answer =
> (productionintervaltotal3160Answer == null ||
> productionintervaltotal3160Answer == 0) ? 0 : 100;
> 378 this.productionintervaltotal6190Answer =
> (productionintervaltotal6190Answer == null ||
> productionintervaltotal6190Answer == 0) ? 0 : 100;
> 379 this.productionintervaltotal91120Answer =
> (productionintervaltotal91120Answer == null ||
> productionintervaltotal91120Answer == 0) ? 0 : 100;
> 380 this.productionintervaltotal121180Answer =
> (productionintervaltotal121180Answer == null ||
> productionintervaltotal121180Answer == 0) ? 0 : 100;
> 381 this.productionintervaltotal181365Answer =
> (productionintervaltotal181365Answer == null ||
> productionintervaltotal181365Answer == 0) ? 0 : 100;
> 382 this.productionintervaltotal366Answer =
> (productionintervaltotal366Answer == null ||
> productionintervaltotal366Answer == 0) ? 0 : 100;
> 383 this.productionintervalfemale030Answer =
> (productionintervalfemale030Answer == null ||
> productionintervalfemale030Answer == 0) ? 0 : 100;
> 384 this.productionintervalfemale3160Answer =
> (productionintervalfemale3160Answer == null ||
> productionintervalfemale3160Answer == 0) ? 0 : 100;
> 385 this.productionintervalfemale6190Answer =
> (productionintervalfemale6190Answer == null ||
> productionintervalfemale6190Answer == 0) ? 0 : 100;
> 386 this.productionintervalfemale91120Answer =
> (productionintervalfemale91120Answer == null
> ||productionintervalfemale91120Answer == 0) ? 0 : 100;
> 387 this.productionintervalfemale121180Answer =
> (productionintervalfemale121180Answer == null ||
> productionintervalfemale121180Answer == 0) ? 0 : 100;
> 388 this.productionintervalfemale181365Answer =
> (productionintervalfemale181365Answer == null ||
> productionintervalfemale181365Answer == 0) ? 0 : 100;
> 389 this.productionintervalfemale366Answer =
> (productionintervalfemale366Answer == null ||
> productionintervalfemale366Answer == 0) ? 0 : 100;
> 390 this.productionintervalmale030Answer =
> (productionintervalmale030Answer == null || productionintervalmale030Answer
> == 0) ? 0 : 100;
> 391 this.productionintervalmale3160Answer =
> (productionintervalmale3160Answer == null ||
> productionintervalmale3160Answer == 0) ? 0 : 100;
> 392 this.productionintervalmale6190Answer =
> (productionintervalmale6190Answer == null ||
> productionintervalmale6190Answer == 0) ? 0 : 100;
> 393 this.productionintervalmale91120Answer =
> (productionintervalmale91120Answer == null ||
> productionintervalmale91120Answer == 0) ? 0 : 100;
> 394 this.productionintervalmale121180Answer =
> (productionintervalmale121180Answer == null ||
> productionintervalmale121180Answer == 0) ? 0 : 100;
> 395 this.productionintervalmale181365Answer =
> (productionintervalmale181365Answer == null ||
> productionintervalmale181365Answer == 0) ? 0 : 100;
> 396 this.productionintervalmale366Answer =
> (productionintervalmale366Answer == null || productionintervalmale366Answer
> == 0) ? 0 : 100;
> 397 }
> Anyone now what the deal is here?
> _______________________________________________
> Soot-list mailing list
> Soot-list at sable.mcgill.ca
> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
>
>
More information about the Soot-list
mailing list