[aspectj-dev] RE: [aspectj-users] java.lang.VerifyError

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]
[aspectj-dev] RE: [aspectj-users] java.lang.VerifyError
From: Jim.Hugunin@xxxxxxxx
Date: Mon, 26 May 2003 13:30:22 PDT
Delivered-to: aspectj-dev@xxxxxxxxxxx
List-archive: <http://dev.eclipse.org/pipermail/aspectj-dev/>
List-help: <mailto:aspectj-dev-request@eclipse.org?subject=help>
List-subscribe: <http://dev.eclipse.org/mailman/listinfo/aspectj-dev>, <mailto:aspectj-dev-request@eclipse.org?subject=subscribe>
List-unsubscribe: <http://dev.eclipse.org/mailman/listinfo/aspectj-dev>, <mailto:aspectj-dev-request@eclipse.org?subject=unsubscribe>
This is not a self-contained test case.  I get many errors for missing types, ajcBasePlanInt and ajcBaseEventInt.  Please provide these types and any more dependencies that might be required for reproducing this bug.

-Jim

Errors are shown below:
------------------------------------------------------------------------
C:\aspectj\scratch\jacks\post-2_relation_modifier.java:9 can't bind type name 'ajcBaseEventInt'
C:\aspectj\scratch\jacks\post-2_relation_modifier.java:18 can't bind type name 'ajcBasePlanInt'
C:\aspectj\scratch\jacks\EventTracking_display.java:16 ajcBasePlanInt cannot be resolved or is not a type
if( p instanceof ajcBasePlanInt ){
                 ^^^^^^^^^^^^^^
C:\aspectj\scratch\jacks\EventTracking_display.java:17 ajcBasePlanInt cannot be resolved or is not a type
ajcBasePlanInt pai = (ajcBasePlanInt)pa;
^^^^^^^^^^^^^^
C:\aspectj\scratch\jacks\EventTracking_display.java:17 ajcBasePlanInt cannot be resolved or is not a type
ajcBasePlanInt pai = (ajcBasePlanInt)pa;
                      ^^^^^^^^^^^^^^
C:\aspectj\scratch\jacks\EventTracking_display.java:18 ajcBaseEventInt cannot be resolved or is not a type
pai.setEvent ((ajcBaseEventInt)e);
               ^^^^^^^^^^^^^^^
C:\aspectj\scratch\jacks\EventTracking_display.java:22 ajcBasePlanInt cannot be resolved (or is not a valid type) for the argument pai of the method ajc$before$EventTracking_display$266
before(ajcBasePlanInt pai): execution(PlanFSM body()) && target(pai){
       ^^^^^^^^^^^^^^
C:\aspectj\scratch\jacks\EventTracking_display.java:27 ajcBaseEventInt cannot be resolved (or is not a valid type) for the argument ev of the method ajc$before$EventTracking_display$312
before(ajcBaseEventInt ev) : call(public * Agent.postEvent(..)) && args(ev,..)&& !this(PlanFSM){
       ^^^^^^^^^^^^^^^
C:\aspectj\scratch\jacks\EventTracking_display.java:33 ajcBaseEventInt cannot be resolved (or is not a valid type) for the argument ev of the method ajc$before$EventTracking_display$3c1
before(ajcBaseEventInt ev) : call(public * Agent.postEventAndWait(..)) && args(ev,..)&& this(Agent){
       ^^^^^^^^^^^^^^^
C:\aspectj\scratch\jacks\EventTracking_display.java:38 ajcBaseEventInt cannot be resolved (or is not a valid type) for the argument ev of the method ajc$afterReturning$EventTracking_display$456
after(ajcBaseEventInt ev, PlanFSM fsm) returning(): call(public * Agent.postEvent(..)) && args(ev,..) && this(fsm)  {
      ^^^^^^^^^^^^^^^
C:\aspectj\scratch\jacks\post-2_relation_modifier.java:21 ajcBaseEventInt cannot be resolved (or is not a valid return type) for the method handled_event278
ajcBaseEventInt React.handled_event;
^^^^^^^^^^^^^^^
C:\aspectj\scratch\jacks\post-2_relation_modifier.java:34 ajcBaseEventInt cannot be resolved (or is not a valid return type) for the method getEvent3a3
public ajcBaseEventInt React.getEvent(){
       ^^^^^^^^^^^^^^^
C:\aspectj\scratch\jacks\post-2_relation_modifier.java:37 ajcBaseEventInt cannot be resolved (or is not a valid type) for the argument e of the method setEvent3e1
public void React.setEvent(ajcBaseEventInt e){
                           ^^^^^^^^^^^^^^^
result: false
junit.framework.AssertionFailedError: unexpected errors: [error at c:\aspectj\scratch\jacks\post-2_relation_modifier.java:9: can't bind type name 'ajcBaseEventInt', error at c:\aspectj\scratch\jacks\post-2_relation_modifier.java:18: can't bind type name 'ajcBasePlanInt', error at if( p instanceof ajcBasePlanInt ){
                 ^^^^^^^^^^^^^^
c:\aspectj\scratch\jacks\EventTracking_display.java:16-16:0: ajcBasePlanInt cannot be resolved or is not a type, error at ajcBasePlanInt pai = (ajcBasePlanInt)pa;
^^^^^^^^^^^^^^
c:\aspectj\scratch\jacks\EventTracking_display.java:17-17:0: ajcBasePlanInt cannot be resolved or is not a type, error at ajcBasePlanInt pai = (ajcBasePlanInt)pa;
                      ^^^^^^^^^^^^^^
c:\aspectj\scratch\jacks\EventTracking_display.java:17-17:0: ajcBasePlanInt cannot be resolved or is not a type, error at pai.setEvent ((ajcBaseEventInt)e);
               ^^^^^^^^^^^^^^^
c:\aspectj\scratch\jacks\EventTracking_display.java:18-18:0: ajcBaseEventInt cannot be resolved or is not a type, error at before(ajcBasePlanInt pai): execution(PlanFSM body()) && target(pai){
       ^^^^^^^^^^^^^^
c:\aspectj\scratch\jacks\EventTracking_display.java:22-22:0: ajcBasePlanInt cannot be resolved (or is not a valid type) for the argument pai of the method ajc$before$EventTracking_display$266, error at before(ajcBaseEventInt ev) : call(public * Agent.postEvent(..)) && args(ev,..)&& !this(PlanFSM){
       ^^^^^^^^^^^^^^^
c:\aspectj\scratch\jacks\EventTracking_display.java:27-27:0: ajcBaseEventInt cannot be resolved (or is not a valid type) for the argument ev of the method ajc$before$EventTracking_display$312, error at before(ajcBaseEventInt ev) : call(public * Agent.postEventAndWait(..)) && args(ev,..)&& this(Agent){
       ^^^^^^^^^^^^^^^
c:\aspectj\scratch\jacks\EventTracking_display.java:33-33:0: ajcBaseEventInt cannot be resolved (or is not a valid type) for the argument ev of the method ajc$before$EventTracking_display$3c1, error at after(ajcBaseEventInt ev, PlanFSM fsm) returning(): call(public * Agent.postEvent(..)) && args(ev,..) && this(fsm)  {
      ^^^^^^^^^^^^^^^
c:\aspectj\scratch\jacks\EventTracking_display.java:38-38:0: ajcBaseEventInt cannot be resolved (or is not a valid type) for the argument ev of the method ajc$afterReturning$EventTracking_display$456, error at ajcBaseEventInt React.handled_event;
^^^^^^^^^^^^^^^
c:\aspectj\scratch\jacks\post-2_relation_modifier.java:21-21:0: ajcBaseEventInt cannot be resolved (or is not a valid return type) for the method handled_event278, error at public ajcBaseEventInt React.getEvent(){
       ^^^^^^^^^^^^^^^
c:\aspectj\scratch\jacks\post-2_relation_modifier.java:34-34:0: ajcBaseEventInt cannot be resolved (or is not a valid return type) for the method getEvent3a3, error at public void React.setEvent(ajcBaseEventInt e){
                           ^^^^^^^^^^^^^^^


> -----Original Message-----
> From: Feilong Chen [mailto:f0c5023@xxxxxxxxxxx]
> Sent: Monday, May 26, 2003 12:10 PM
> To: Jim.Hugunin@xxxxxxxx; aspectj-users@xxxxxxxxxxx
> Subject: RE: [aspectj-users] java.lang.VerifyError
> 
> Hi, Jim,
> 
> I was using 1.1rc2.
> 
> Attached is a .zip file that contains a test case, including a .jar file
> which is needed for compile the test case.
> 
> Hope this helps.
> 
> Feilong
> 
> 
> 
> 
> 
> 
> 
> 
> 
> >From: Jim.Hugunin@xxxxxxxx
> >Reply-To: aspectj-users@xxxxxxxxxxx
> >To: aspectj-users@xxxxxxxxxxx
> >Subject: RE: [aspectj-users] java.lang.VerifyError
> >Date: Fri, 23 May 2003 09:17:01 PDT
> >
> >This looks a lot like a bug in rc1 that was fixed in rc2.
> https://bugs.eclipse.org/bugs/show_bug.cgi?id=37152
> >
> >Can you verify that you're really running 1.1rc2? Make sure that "ajc
> -version" returns 1.1rc2. If you're seeing this in rc2 it's a serious bug
> that we need to address before the final release. Please file a bug report
> ASAP and include either a minimal test case to reproduce the bug or as
> much detailed information as possible if you can't create a minimal test
> case.
> >
> >-Jim
> >
> >-----Original Message-----
> >From: feilong chen [mailto:cfeifei@xxxxxxxxxxx]
> >Sent: Thursday, May 22, 2003 2:01 PM
> >To: aspectj-users@xxxxxxxxxxx
> >Subject: [aspectj-users] java.lang.VerifyError
> >
> >Hi,
> >I got java.lang.VerifyError when running a program weaven by
> aspectj1.1rc2. I don't know what's it mean. Could anybody explain to me,
> please?
> >Thanks a lot.
> >Feilong
> >below is the error message.
> >
> >Task terminated because of uncaught exception --
> >java.lang.VerifyError: (class:
> LeakManager/ControlEstablish_dummyPlan$__bodyFS
> > method: run signature: (I)I) Inconsistent stack height 0 != 1
> >-- Initiated by:
> >ManageLeakAlarm:e66f56:0-- LeakManager/ManageLeakAlarm.event [SUBTASK]
> >-- Thrown by:
> >BDIGoalBehavior:11f23e5:0-- BDIGoalBehavior [START]
> > LeakManager/ManageLeakAlarm.event [SUBTASK]
> > BDIGoalBehavior [SUBTASK]
> > LeakManager/ManageLeakAlarmPlan.plan:70 body [19]
> > LeakManager/ControlEstablish.event [SUBTASK]
> > &nbs p; BDIGoalBehavior [START]
> >java.lang.VerifyError: (class:
> LeakManager/ControlEstablish_dummyPlan$__bodyFS
> > method: run signature: (I)I) Inconsistent stack height 0 != 1
> > at LeakManager.ControlEstablish_dummyPlan.body(ControlEstablish_dummyP
> >n.java:118)
> > at aos.jack.jak.plan.Plan.getBody(XXXX.java:468)
> > at aos.jack.jak.logic.Signature.instantiate(XXXX.java:340)
> > at aos.jack.jak.behaviors.bdi.BDIBehavior.postSubtask(XXXX.java:370)
> > at aos.jack.jak.behaviors.bdi.BDIBehavior.pickPlan(XXXX.java:303)
> > at aos.jack.jak.behaviors.SimpleBehavior.run(XXXX.java:168)
> > at aos.jack.jak.task.Task.qrrWRNd(XXXX.java:392)
> > at aos.jack.jak.agent.Agent.Lqn cqpr(XXXX.java:1085)
> > at aos.jack.jak.agent.Agent.nBPqncw(XXXX.java:1280)
> > at aos.jack.jak.agent.Agent.run(XXXX.java:1242)
> > at aos.jack.jak.scheduler.D1BP$Nd.run(XXXX.java:129)
> >
> >
> > _____
> >
> >MSN 8 helps ELIMINATE E-MAIL VIRUSES. Get 2 months FREE*.
> >_______________________________________________ aspectj-users mailing
> list aspectj-users@xxxxxxxxxxx
> http://dev.eclipse.org/mailman/listinfo/aspectj-users
Prev by Date: RE: [aspectj-dev] Changes to Ant forking classpath for maven
Next by Date: [aspectj-dev] Three broken tests in ajcTests.xml
Previous by thread: [aspectj-dev] 1.1 release tasks
Next by thread: [aspectj-dev] Three broken tests in ajcTests.xml
Index(es):
- Date
- Thread
Breadcrumbs
