List of pushContext() Examples

Examples of pushContext()

com.alibaba.citrus.turbine.TurbineRunDataInternal.pushContext()
修改当前的context。
org.apache.ivy.Ivy.pushContext()
Pushes a new IvyContext bound to this Ivy instance if the current context is not already bound to this Ivy instance. If the current context is already bound to this Ivy instance, it pushes the current context on the context stack, so that you can (and must) always call {@link #popContext()} when you're done.
Alternatively, you can use the {@link #execute(org.apache.ivy.Ivy.IvyCallback)} method whichtakes care of everything for you.
org.apache.maven.project.Project.pushContext()
Push a new context onto the stack. @param context
org.apache.tuscany.sca.monitor.Monitor.pushContext()
Add a context string to the context stack @param context the context string to add
org.directwebremoting.extend.InboundContext.pushContext()
Someone wants to tell us about a new conversion context. @param context The current conversion context
org.formulacompiler.compiler.internal.DescriptionBuilder.pushContext()
org.jboss.ejb3.EJBContainer.pushContext()
org.xml.sax.helpers.NamespaceSupport.pushContext()
Start a new Namespace context.
Normally, you should push a new context at the beginning of each XML element: the new context will automatically inherit the declarations of its parent context, but it will also keep track of which declarations were made within this context.

The Namespace support object always starts with a base context already in force: in this context, only the "xml" prefix is declared.
@see #popContext
statechum.analysis.learning.Smt.pushContext()
Pushes the current context on the stack of contexts.
xbird.util.xml.NamespaceBinder.pushContext()
Start a new Namespace context.

Examples of org.xml.sax.helpers.NamespaceSupport.pushContext()

  public void startElement(
          String uri, String localName, String rawName, Attributes attributes)
            throws org.xml.sax.SAXException
  {
    NamespaceSupport nssupport = this.getNamespaceSupport();
    nssupport.pushContext();
    
    int n = m_prefixMappings.size();


    for (int i = 0; i < n; i++) 
    {

View Full Code Here

Examples of org.xml.sax.helpers.NamespaceSupport.pushContext()

  public void startElement(
          String uri, String localName, String rawName, Attributes attributes)
            throws org.xml.sax.SAXException
  {
    NamespaceSupport nssupport = this.getNamespaceSupport();
    nssupport.pushContext();
    
    int n = m_prefixMappings.size();


    for (int i = 0; i < n; i++) 
    {

View Full Code Here

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

   * @return false if a path leading to the supplied state is not satisfiable. 
   */
  protected boolean checkSatisfiability(String variableDeclarations,String condition)
  {
    Smt solver = getSolver();
    solver.pushContext();
    String whatToCheck = LabelRepresentation.getAssertionFromVarAndAxiom(variableDeclarations,condition);
    //System.err.println("CHECK: "+whatToCheck);
    solver.loadData(whatToCheck);
    boolean outcome = solver.check();
    solver.popContext();return outcome;

View Full Code Here

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

   * @return false if a path leading to the supplied state is not satisfiable. 
   */
  protected boolean checkSatisfiability(String variableDeclarations,String condition)
  {
    Smt solver = getSolver();
    solver.pushContext();
    String whatToCheck = SmtLabelRepresentation.getAssertionFromVarAndAxiom(variableDeclarations,condition);
    //System.err.println("CHECK: "+whatToCheck);
    solver.loadData(whatToCheck);
    boolean outcome = solver.check();
    solver.popContext();return outcome;

View Full Code Here

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

   * @return false if a path leading to the supplied state is not satisfiable. 
   */
  protected boolean checkSatisfiability(String variableDeclarations,String condition)
  {
    Smt solver = getSolver();
    solver.pushContext();
    String whatToCheck = SmtLabelRepresentation.getAssertionFromVarAndAxiom(variableDeclarations,condition);
    //System.err.println("CHECK: "+whatToCheck);
    solver.loadData(whatToCheck);
    boolean outcome = solver.check();
    solver.popContext();return outcome;

View Full Code Here

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

   * @return false if a path leading to the supplied state is not satisfiable. 
   */
  protected boolean checkSatisfiability(String variableDeclarations,String condition)
  {
    Smt solver = getSolver();
    solver.pushContext();
    String whatToCheck = SmtLabelRepresentation.getAssertionFromVarAndAxiom(variableDeclarations,condition);
    //System.err.println("CHECK: "+whatToCheck);
    solver.loadData(whatToCheck);
    boolean outcome = solver.check();
    solver.popContext();return outcome;

View Full Code Here

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

    Smt.loadLibrary();
    Smt.closeStdOut();
    Smt smt = new Smt();


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

View Full Code Here

Examples of statechum.analysis.learning.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());
    smt.popContext();

View Full Code Here

Examples of statechum.analysis.learning.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());
    smt.popContext();

View Full Code Here

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

    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));
    Assert.assertFalse(smt.check());
    smt.popContext();

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.