Search in sources :

Example 41 with Context

use of org.eclipse.jst.server.tomcat.core.internal.xml.server40.Context in project webtools.servertools by eclipse.

the class Tomcat32TestConfiguration method verifyPublishedModule.

protected void verifyPublishedModule(IPath baseDir, IModule module) throws Exception {
    Tomcat32TestConfiguration config = new Tomcat32TestConfiguration(null);
    config.load(baseDir.append("conf"), null);
    ServerInstance serverInstance = config.getServerInstance();
    Context context = serverInstance.getContext(module.getName());
    String deployDir = getTomcatServer().getDeployDirectory();
    if ("webapps".equals(deployDir)) {
        assertEquals("webapps/" + module.getName(), context.getDocBase());
    } else {
        assertEquals(getTomcatServerBehaviour().getModuleDeployDirectory(module).toOSString(), context.getDocBase());
    }
    verifyPublishedModuleFiles(module);
}
Also used : Context(org.eclipse.jst.server.tomcat.core.internal.xml.server32.Context) ServerInstance(org.eclipse.jst.server.tomcat.core.internal.xml.server32.ServerInstance)

Example 42 with Context

use of org.eclipse.jst.server.tomcat.core.internal.xml.server40.Context in project webtools.servertools by eclipse.

the class Tomcat41TestConfiguration method verifyPublishedModule.

protected void verifyPublishedModule(IPath baseDir, IModule module) throws Exception {
    Tomcat41TestConfiguration config = new Tomcat41TestConfiguration(null);
    config.load(baseDir.append("conf"), null);
    ServerInstance serverInstance = config.getServerInstance();
    Context context = serverInstance.getContext(module.getName());
    String deployDir = getTomcatServer().getDeployDirectory();
    if ("webapps".equals(deployDir)) {
        assertEquals(module.getName(), context.getDocBase());
    } else {
        assertEquals(getTomcatServerBehaviour().getModuleDeployDirectory(module).toOSString(), context.getDocBase());
    }
    verifyPublishedModuleFiles(module);
}
Also used : Context(org.eclipse.jst.server.tomcat.core.internal.xml.server40.Context) ServerInstance(org.eclipse.jst.server.tomcat.core.internal.xml.server40.ServerInstance)

Example 43 with Context

use of org.eclipse.jst.server.tomcat.core.internal.xml.server40.Context in project webtools.servertools by eclipse.

the class Tomcat50TestConfiguration method verifyPublishedModule.

protected void verifyPublishedModule(IPath baseDir, IModule module) throws Exception {
    Tomcat50TestConfiguration config = new Tomcat50TestConfiguration(null);
    config.load(baseDir.append("conf"), null);
    ServerInstance serverInstance = config.getServerInstance();
    Context context = serverInstance.getContext(module.getName());
    String deployDir = getTomcatServer().getDeployDirectory();
    if ("webapps".equals(deployDir)) {
        assertEquals(module.getName(), context.getDocBase());
    } else {
        assertEquals(getTomcatServerBehaviour().getModuleDeployDirectory(module).toOSString(), context.getDocBase());
    }
    verifyPublishedModuleFiles(module);
}
Also used : Context(org.eclipse.jst.server.tomcat.core.internal.xml.server40.Context) ServerInstance(org.eclipse.jst.server.tomcat.core.internal.xml.server40.ServerInstance)

Example 44 with Context

use of org.eclipse.jst.server.tomcat.core.internal.xml.server40.Context in project webtools.servertools by eclipse.

the class Tomcat70TestConfiguration method verifyPublishedModule.

protected void verifyPublishedModule(IPath baseDir, IModule module) throws Exception {
    Tomcat70TestConfiguration config = new Tomcat70TestConfiguration(null);
    config.load(baseDir.append("conf"), null);
    ServerInstance serverInstance = config.getServerInstance();
    Context context = serverInstance.getContext(module.getName());
    String deployDir = getTomcatServer().getDeployDirectory();
    if ("webapps".equals(deployDir)) {
        assertEquals(module.getName(), context.getDocBase());
    } else {
        assertEquals(getTomcatServerBehaviour().getModuleDeployDirectory(module).toOSString(), context.getDocBase());
    }
    verifyPublishedModuleFiles(module);
}
Also used : Context(org.eclipse.jst.server.tomcat.core.internal.xml.server40.Context) ServerInstance(org.eclipse.jst.server.tomcat.core.internal.xml.server40.ServerInstance)

Example 45 with Context

use of org.eclipse.jst.server.tomcat.core.internal.xml.server40.Context in project Dat3M by hernanponcedeleon.

the class ARM method Inconsistent.

public static BoolExpr Inconsistent(Program program, Context ctx) throws Z3Exception {
    Set<Event> events = program.getEvents().stream().filter(e -> e instanceof MemEvent).collect(Collectors.toSet());
    BoolExpr enc = ctx.mkAnd(satCycleDef("hb-arm", events, ctx), satCycleDef("(co+prop)", events, ctx), satCycleDef("(poloc+com)", events, ctx));
    enc = ctx.mkAnd(enc, ctx.mkOr(satCycle("hb-arm", events, ctx), ctx.mkNot(satIrref("((fre;prop);(hb-arm)*)", events, ctx)), satCycle("(co+prop)", events, ctx), satCycle("(poloc+com)", events, ctx)));
    return enc;
}
Also used : EncodingsCAT.satTransFixPoint(dartagnan.wmm.EncodingsCAT.satTransFixPoint) EncodingsCAT.satCycle(dartagnan.wmm.EncodingsCAT.satCycle) EncodingsCAT.satTransRef(dartagnan.wmm.EncodingsCAT.satTransRef) Event(dartagnan.program.Event) Context(com.microsoft.z3.Context) Set(java.util.Set) Utils(dartagnan.utils.Utils) Collectors(java.util.stream.Collectors) Utils.intCount(dartagnan.utils.Utils.intCount) EncodingsCAT.satEmpty(dartagnan.wmm.EncodingsCAT.satEmpty) EncodingsCAT.satUnion(dartagnan.wmm.EncodingsCAT.satUnion) EncodingsCAT.satComp(dartagnan.wmm.EncodingsCAT.satComp) EncodingsCAT.satIrref(dartagnan.wmm.EncodingsCAT.satIrref) EncodingsCAT.satCycleDef(dartagnan.wmm.EncodingsCAT.satCycleDef) EncodingsCAT.satAcyclic(dartagnan.wmm.EncodingsCAT.satAcyclic) Local(dartagnan.program.Local) MemEvent(dartagnan.program.MemEvent) BoolExpr(com.microsoft.z3.BoolExpr) Z3Exception(com.microsoft.z3.Z3Exception) Program(dartagnan.program.Program) Utils.edge(dartagnan.utils.Utils.edge) EncodingsCAT.satIntersection(dartagnan.wmm.EncodingsCAT.satIntersection) BoolExpr(com.microsoft.z3.BoolExpr) MemEvent(dartagnan.program.MemEvent) Event(dartagnan.program.Event) MemEvent(dartagnan.program.MemEvent)

Aggregations

Context (org.eclipse.jst.server.tomcat.core.internal.xml.server40.Context)58 Context (com.microsoft.z3.Context)36 CoreException (org.eclipse.core.runtime.CoreException)35 Test (org.junit.Test)24 BoolExpr (com.microsoft.z3.BoolExpr)23 List (java.util.List)20 IOException (java.io.IOException)18 ServerInstance (org.eclipse.jst.server.tomcat.core.internal.xml.server40.ServerInstance)18 Context (org.kie.workbench.common.dmn.api.definition.v1_1.Context)17 HashMap (java.util.HashMap)16 File (java.io.File)14 Map (java.util.Map)14 ArrayList (java.util.ArrayList)13 Solver (com.microsoft.z3.Solver)12 Status (com.microsoft.z3.Status)12 IPath (org.eclipse.core.runtime.IPath)12 IStatus (org.eclipse.core.runtime.IStatus)12 Status (org.eclipse.core.runtime.Status)11 Factory (org.eclipse.jst.server.tomcat.core.internal.xml.Factory)11 Z3Exception (com.microsoft.z3.Z3Exception)9