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 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 = 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()

  {
    Smt smt = new Smt();
    
    smt.loadData("(define x::int)\n(assert (> x 1))");
    Assert.assertTrue(smt.check());
    smt.pushContext();
    smt.loadData("(assert (< x 0))");
    Assert.assertFalse(smt.check());
    smt.popContext();
    Assert.assertTrue(smt.check());
    smt.finalize();

View Full Code Here

Examples of xbird.util.xml.NamespaceBinder.pushContext()

        NamespaceBinder knownNamespaces = dynEnv.getStaticContext().getStaticalyKnownNamespaces();
        // process attribute/namespace
        for(AttributeConstructorBase att : attributes) {
            if(att instanceof NamespaceConstructor) {
                if(!hasNamespaceDecl) {
                    knownNamespaces.pushContext(); // TODO REVIEWME performance
                    hasNamespaceDecl = true;
                }
                NamespaceConstructor nc = ((NamespaceConstructor) att);
                DMNamespace dmns = nc.eval(contextSeq, dynEnv);
                dmelem.addNamespace(dmns);

View Full Code Here

Examples of xbird.util.xml.NamespaceBinder.pushContext()

        final int attlen = _attslen;
        for(int i = 0; i < attlen; i++) {
            AttributeConstructorBase att = attributes.get(i);
            if(att instanceof NamespaceConstructor) {
                if(!hasNamespaceDecl) {
                    knownNamespaces.pushContext(); // TODO REVIEWME performance
                    hasNamespaceDecl = true;
                }
                NamespaceConstructor nc = ((NamespaceConstructor) att);
                String nsprefix = nc.getPrefix();
                String nsuri = nc.getValue();

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.