List of popContext() Examples

Examples of popContext()

com.alibaba.citrus.turbine.TurbineRunDataInternal.popContext()
弹出当前的context，恢复上一个context。 @throws IllegalStateException 如果pop和push不配对，则抛错
org.apache.derby.iapi.services.context.ContextManager.popContext()
Remove the last pushed Context object, regardless of type. If there are no Context objects, no action is taken.
org.apache.ivy.Ivy.popContext()
Pops the current Ivy context.
You must call this method once and only once for each call to {@link #pushContext()}, when you're done with the your Ivy related work.

Alternatively, you can use the {@link #execute(org.apache.ivy.Ivy.IvyCallback)} method whichtakes care of everything for you.
org.apache.tuscany.sca.monitor.Monitor.popContext()
Remove the most recent context string from the context stack @return The object popped
org.directwebremoting.extend.InboundContext.popContext()
Someone wants to tell us about a finished conversion context.
org.jboss.ejb3.EJBContainer.popContext()
statechum.analysis.learning.Smt.popContext()
Pops the last context from the stack of contexts and makes this context the current one.
xbird.util.xml.NamespaceBinder.popContext()
Revert to the previous Namespace context.

Examples of org.jboss.ejb3.EJBContainer.popContext()

         discard = true;
         throw t;
      }
      finally
      {
         container.popContext();
         //ejb.setTargetObject(null);
         ejb.setBeanContext(null);
         if (discard) pool.discard(ctx);
         else pool.release(ctx);
      }

View Full Code Here

Examples of statechum.analysis.learning.Smt.popContext()

    solver.pushContext();
    String whatToCheck = LabelRepresentation.getAssertionFromVarAndAxiom(variableDeclarations,condition);
    //System.err.println("CHECK: "+whatToCheck);
    solver.loadData(whatToCheck);
    boolean outcome = solver.check();
    solver.popContext();return outcome;    
  }
  
  /** Extracts an ID of a supplied vertex. */
  public static VertexID getID(CmpVertex vertex)
  {

View Full Code Here

Examples of statechum.analysis.learning.Smt.popContext()

    solver.pushContext();
    String whatToCheck = SmtLabelRepresentation.getAssertionFromVarAndAxiom(variableDeclarations,condition);
    //System.err.println("CHECK: "+whatToCheck);
    solver.loadData(whatToCheck);
    boolean outcome = solver.check();
    solver.popContext();return outcome;    
  }
  
  /** Extracts an ID of a supplied vertex. */
  public static VertID getID(CmpVertex vertex)
  {

View Full Code Here

Examples of statechum.analysis.learning.Smt.popContext()

    solver.pushContext();
    String whatToCheck = SmtLabelRepresentation.getAssertionFromVarAndAxiom(variableDeclarations,condition);
    //System.err.println("CHECK: "+whatToCheck);
    solver.loadData(whatToCheck);
    boolean outcome = solver.check();
    solver.popContext();return outcome;    
  }
  
  /** Extracts an ID of a supplied vertex. */
  public static VertexID getID(CmpVertex vertex)
  {

View Full Code Here

Examples of statechum.analysis.learning.Smt.popContext()

    solver.pushContext();
    String whatToCheck = SmtLabelRepresentation.getAssertionFromVarAndAxiom(variableDeclarations,condition);
    //System.err.println("CHECK: "+whatToCheck);
    solver.loadData(whatToCheck);
    boolean outcome = solver.check();
    solver.popContext();return outcome;    
  }
  
  /** Extracts an ID of a supplied vertex. */
  public static VertID getID(CmpVertex vertex)
  {

View Full Code Here

Examples of statechum.analysis.learning.Smt.popContext()

    AbstractState state = null;
    smt.pushContext();
    state = lbls.getConjunctionForPath(Arrays.asList(new String[]{"remove"}));
    smt.loadData(LabelRepresentation.getAssertionFromAbstractState(state));
    Assert.assertFalse(smt.check());
    smt.popContext();


    smt.pushContext();
    state = lbls.getConjunctionForPath(Arrays.asList(new String[]{}));
    smt.loadData(LabelRepresentation.getAssertionFromAbstractState(state));
    Assert.assertTrue(smt.check());

View Full Code Here

Examples of statechum.analysis.learning.Smt.popContext()


    smt.pushContext();
    state = lbls.getConjunctionForPath(Arrays.asList(new String[]{}));
    smt.loadData(LabelRepresentation.getAssertionFromAbstractState(state));
    Assert.assertTrue(smt.check());
    smt.popContext();


    smt.pushContext();
    state = lbls.getConjunctionForPath(Arrays.asList(new String[]{"add","remove"}));
    smt.loadData(LabelRepresentation.getAssertionFromAbstractState(state));
    Assert.assertTrue(smt.check());

View Full Code Here

Examples of statechum.analysis.learning.Smt.popContext()


    smt.pushContext();
    state = lbls.getConjunctionForPath(Arrays.asList(new String[]{"add","remove"}));
    smt.loadData(LabelRepresentation.getAssertionFromAbstractState(state));
    Assert.assertTrue(smt.check());
    smt.popContext();




    smt.pushContext();
    state = lbls.getConjunctionForPath(Arrays.asList(new String[]{"add","remove","remove"}));
    smt.loadData(LabelRepresentation.getAssertionFromAbstractState(state));

View Full Code Here

Examples of statechum.analysis.learning.Smt.popContext()


    smt.pushContext();
    state = lbls.getConjunctionForPath(Arrays.asList(new String[]{"add","remove","remove"}));
    smt.loadData(LabelRepresentation.getAssertionFromAbstractState(state));
    Assert.assertFalse(smt.check());
    smt.popContext();


    Smt.reopenStdOut();
  }
  
  /** Checks that it is possible to check that all states can be entered. */

View Full Code Here

Examples of statechum.analysis.learning.Smt.popContext()

    solver.pushContext();
    String whatToCheck = SmtLabelRepresentation.getAssertionFromVarAndAxiom(variableDeclarations,condition);
    //System.err.println("CHECK: "+whatToCheck);
    solver.loadData(whatToCheck);
    boolean outcome = solver.check();
    solver.popContext();return outcome;    
  }
  
  /** Extracts an ID of a supplied vertex. */
  public static VertID getID(CmpVertex vertex)
  {

View Full Code Here

0 1 2 3 4 5

TOP

All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.