use of org.kie.dmn.model.v1_1.Context in project bmoth by hhu-stups.
the class InitialStateExistsChecker method doInitialStateExistsCheck.
static InitialStateExistsCheckingResult doInitialStateExistsCheck(MachineNode machine) {
Context ctx = new Context();
Solver solver = Z3SolverFactory.getZ3Solver(ctx);
MachineToZ3Translator machineTranslator = new MachineToZ3Translator(machine, ctx);
final BoolExpr invariant = machineTranslator.getInitialValueConstraint();
solver.add(invariant);
Status check = solver.check();
return new InitialStateExistsCheckingResult(check);
}
use of org.kie.dmn.model.v1_1.Context in project bmoth by hhu-stups.
the class InvariantSatisfiabilityChecker method doInvariantSatisfiabilityCheck.
static InvariantSatisfiabilityCheckingResult doInvariantSatisfiabilityCheck(MachineNode machine) {
Context ctx = new Context();
Solver solver = Z3SolverFactory.getZ3Solver(ctx);
MachineToZ3Translator machineTranslator = new MachineToZ3Translator(machine, ctx);
final BoolExpr invariant = machineTranslator.getInvariantConstraint();
solver.add(invariant);
Status check = solver.check();
return new InvariantSatisfiabilityCheckingResult(check);
}
use of org.kie.dmn.model.v1_1.Context in project bmoth by hhu-stups.
the class TestUsingZ3 method setup.
@Before
public void setup() {
z3Context = new Context();
z3Solver = z3Context.mkSolver();
}
use of org.kie.dmn.model.v1_1.Context in project webtools.servertools by eclipse.
the class Tomcat85Configuration method modifyWebModule.
/**
* Change a web module.
* @param index int
* @param docBase java.lang.String
* @param path java.lang.String
* @param reloadable boolean
*/
public void modifyWebModule(int index, String docBase, String path, boolean reloadable) {
try {
Context context = serverInstance.getContext(index);
if (context != null) {
context.setPath(path);
context.setDocBase(docBase);
context.setReloadable(reloadable ? "true" : "false");
isServerDirty = true;
WebModule module = new WebModule(path, docBase, null, reloadable);
firePropertyChangeEvent(MODIFY_WEB_MODULE_PROPERTY, new Integer(index), module);
}
} catch (Exception e) {
Trace.trace(Trace.SEVERE, "Error modifying web module " + index, e);
}
}
use of org.kie.dmn.model.v1_1.Context in project webtools.servertools by eclipse.
the class Tomcat85PublishModuleVisitor method endVisitWebComponent.
/**
* {@inheritDoc}
*/
@Override
public void endVisitWebComponent(IVirtualComponent component) throws CoreException {
// track context changes, don't rewrite if not needed
boolean dirty = false;
IModule module = ServerUtil.getModule(component.getProject());
// we need this for the user-specified context path
Context context = findContext(module);
if (context == null) {
String name = module != null ? module.getName() : component.getName();
Trace.trace(Trace.SEVERE, "Could not find context for module " + name);
throw new CoreException(new Status(IStatus.ERROR, TomcatPlugin.PLUGIN_ID, 0, NLS.bind(Messages.errorPublishContextNotFound, name), null));
}
dirty = includeProjectContextXml(component, context);
dirty = updateDocBaseAndPath(component, context);
// Add WEB-INF/classes elements as PreResources
for (Iterator iterator = virtualClassClasspathElements.iterator(); iterator.hasNext(); ) {
Object virtualClassClasspathElement = iterator.next();
PreResources preResources = (PreResources) context.getResources().createElement("PreResources");
preResources.setClassName("org.apache.catalina.webresources.DirResourceSet");
preResources.setBase(virtualClassClasspathElement.toString());
preResources.setWebAppMount("/WEB-INF/classes");
preResources.setInternalPath("/");
preResources.setClassLoaderOnly("false");
}
virtualClassClasspathElements.clear();
// Add Jars as JarResources if a jar, or as PostResources if a utility project
for (Iterator iterator = virtualJarClasspathElements.iterator(); iterator.hasNext(); ) {
Object virtualJarClassClasspathElement = iterator.next();
String jarPath = virtualJarClassClasspathElement.toString();
if (jarPath.endsWith(".jar")) {
JarResources jarResources = (JarResources) context.getResources().createElement("JarResources");
jarResources.setClassName("org.apache.catalina.webresources.JarResourceSet");
jarResources.setBase(jarPath);
jarResources.setWebAppMount("/WEB-INF/classes");
jarResources.setInternalPath("/");
jarResources.setClassLoaderOnly("true");
} else {
PostResources postResources = (PostResources) context.getResources().createElement("PostResources");
postResources.setClassName("org.apache.catalina.webresources.DirResourceSet");
postResources.setBase(jarPath);
postResources.setWebAppMount("/WEB-INF/classes");
postResources.setInternalPath("/");
postResources.setClassLoaderOnly("false");
// Map META-INF tld files to WEB-INF
File metaInfDir = new File(jarPath + "/META-INF");
if (metaInfDir.isDirectory() && metaInfDir.exists()) {
// Map META-INF directory directly to /META-INF
postResources = (PostResources) context.getResources().createElement("PostResources");
postResources.setClassName("org.apache.catalina.webresources.DirResourceSet");
postResources.setBase(metaInfDir.getPath());
postResources.setWebAppMount("/META-INF");
postResources.setInternalPath("/");
postResources.setClassLoaderOnly("false");
File[] tldFiles = metaInfDir.listFiles(new FileFilter() {
public boolean accept(File file) {
if (file.isFile() && file.getName().endsWith(".tld")) {
return true;
}
return false;
}
});
for (int i = 0; i < tldFiles.length; i++) {
postResources = (PostResources) context.getResources().createElement("PostResources");
postResources.setClassName("org.apache.catalina.webresources.FileResourceSet");
postResources.setBase(tldFiles[0].getPath());
postResources.setWebAppMount("/WEB-INF/" + tldFiles[0].getName());
postResources.setInternalPath("/");
postResources.setClassLoaderOnly("false");
}
}
}
}
virtualJarClasspathElements.clear();
Set<String> rtPathsProcessed = new HashSet<String>();
Set<String> locationsIncluded = new HashSet<String>();
String docBase = context.getDocBase();
locationsIncluded.add(docBase);
Map<String, String> retryLocations = new HashMap<String, String>();
IVirtualResource[] virtualResources = component.getRootFolder().getResources("");
// Loop over the module's resources
for (int i = 0; i < virtualResources.length; i++) {
String rtPath = virtualResources[i].getRuntimePath().toString();
// If this runtime path has not yet been processed
if (!rtPathsProcessed.contains(rtPath)) {
// If not a Java related resource
if (!"/WEB-INF/classes".equals(rtPath)) {
// Get all resources for this runtime path
IResource[] underlyingResources = virtualResources[i].getUnderlyingResources();
// to a mapping in the .components file
if ("/".equals(rtPath)) {
for (int j = 0; j < underlyingResources.length; j++) {
IPath resLoc = underlyingResources[j].getLocation();
String location = resLoc.toOSString();
if (!location.equals(docBase)) {
PreResources preResources = (PreResources) context.getResources().createElement("PreResources");
preResources.setClassName("org.apache.catalina.webresources.DirResourceSet");
preResources.setBase(location);
preResources.setWebAppMount("/");
preResources.setInternalPath("/");
preResources.setClassLoaderOnly("false");
// Add to the set of locations included
locationsIncluded.add(location);
}
}
} else // Else this runtime path is something other than "/"
{
int idx = rtPath.lastIndexOf('/');
// If a "normal" runtime path
if (idx >= 0) {
// Get the name of the last segment in the runtime path
String lastSegment = rtPath.substring(idx + 1);
// Check the underlying resources to determine which correspond to mappings
for (int j = 0; j < underlyingResources.length; j++) {
IPath resLoc = underlyingResources[j].getLocation();
String location = resLoc.toOSString();
// from the .contents file.
if (!lastSegment.equals(resLoc.lastSegment())) {
PreResources preResources = (PreResources) context.getResources().createElement("PreResources");
preResources.setClassName("org.apache.catalina.webresources.DirResourceSet");
preResources.setBase(location);
preResources.setWebAppMount(rtPath);
preResources.setInternalPath("/");
preResources.setClassLoaderOnly("false");
// Add to the set of locations included
locationsIncluded.add(location);
} else // Else last segment of runtime path did match the last segment
// of the location. We likely have a subfolder of a mapping
// that matches a portion of the runtime path.
{
// Since we can't be sure, save so it can be check again later
retryLocations.put(location, rtPath);
}
}
}
}
}
// Add the runtime path to those already processed
rtPathsProcessed.add(rtPath);
}
}
// If there are locations to retry, add any not yet included in extra paths setting
if (!retryLocations.isEmpty()) {
// Remove retry locations already included in the extra paths
for (Iterator iterator = retryLocations.keySet().iterator(); iterator.hasNext(); ) {
String location = (String) iterator.next();
for (Iterator iterator2 = locationsIncluded.iterator(); iterator2.hasNext(); ) {
String includedLocation = (String) iterator2.next();
if (location.equals(includedLocation) || location.startsWith(includedLocation + File.separator)) {
iterator.remove();
break;
}
}
}
// If any entries are left, include them in the extra paths
if (!retryLocations.isEmpty()) {
for (Iterator iterator = retryLocations.entrySet().iterator(); iterator.hasNext(); ) {
Map.Entry entry = (Map.Entry) iterator.next();
String location = (String) entry.getKey();
String rtPath = (String) entry.getValue();
PreResources preResources = (PreResources) context.getResources().createElement("PreResources");
preResources.setClassName("org.apache.catalina.webresources.DirResourceSet");
preResources.setBase(location);
preResources.setWebAppMount(rtPath);
preResources.setInternalPath("/");
preResources.setClassLoaderOnly("false");
}
}
}
if (!virtualDependentResources.isEmpty()) {
for (Map.Entry<String, List<String>> entry : virtualDependentResources.entrySet()) {
String rtPath = entry.getKey();
List<String> locations = entry.getValue();
for (String location : locations) {
PostResources postResources = (PostResources) context.getResources().createElement("PostResources");
postResources.setClassName("org.apache.catalina.webresources.DirResourceSet");
postResources.setBase(location);
postResources.setWebAppMount(rtPath.length() > 0 ? rtPath : "/");
postResources.setInternalPath("/");
postResources.setClassLoaderOnly("false");
}
}
}
virtualDependentResources.clear();
if (dirty) {
// TODO If writing to separate context XML files, save "dirty" status for later use
}
}
Aggregations