Verified Commit 47589948 authored by Amin Bandali's avatar Amin Bandali
Browse files

Remove some vestigial files

parent 3ff2c9e2
;; -*- mode: emacs-lisp -*-
(((name . "Run Catalyst")
(main-class . "org.aminb.alloy.catalyst.MainCLI")
(vm-args . "-Dfile.encoding=UTF-8 -classpath /home/amin/.m2/repository/org/sat4j/org.sat4j.core/2.3.1/org.sat4j.core-2.3.1.jar:/home/amin/src/git/org.alloytools.alloy/org.alloytools.kodkod.nativesat/target/classes:/home/amin/src/git/org.alloytools.alloy/org.alloytools.kodkod.nativesat/target/org.alloytools.kodkod.nativesat.util.jar:/home/amin/src/git/org.alloytools.alloy/org.alloytools.kodkod.nativesat/target/org.alloytools.kodkod.nativesat.amd64-linux.jar:/home/amin/src/git/org.alloytools.alloy/org.alloytools.kodkod.nativesat/target/org.alloytools.kodkod.nativesat.x86-linux.jar:/home/amin/src/git/org.alloytools.alloy/org.alloytools.kodkod.nativesat/target/org.alloytools.kodkod.nativesat.x86-mac.jar:/home/amin/src/git/org.alloytools.alloy/org.alloytools.kodkod.nativesat/target/org.alloytools.kodkod.nativesat.x86-windows.jar:/home/amin/.m2/repository/org/osgi/osgi.enroute.junit.wrapper/4.12.0/osgi.enroute.junit.wrapper-4.12.0.jar:/home/amin/.m2/repository/org/osgi/osgi.enroute.hamcrest.wrapper/1.3.0/osgi.enroute.hamcrest.wrapper-1.3.0.jar:/home/amin/src/git/org.alloytools.alloy/org.alloytools.kodkod.core/target/classes:/home/amin/src/git/org.alloytools.alloy/org.alloytools.kodkod.core/target/org.alloytools.kodkod.core.jar:/home/amin/.m2/repository/org/eclipse/jdt/org.eclipse.jdt.annotation/2.1.100/org.eclipse.jdt.annotation-2.1.100.jar:/home/amin/src/git/org.alloytools.alloy/org.alloytools.alloy.core/src/main/resources:/home/amin/src/git/org.alloytools.alloy/org.alloytools.alloy.core/target/classes:/home/amin/src/git/org.alloytools.alloy/org.alloytools.alloy.core/target/org.alloytools.alloy.core.jar:/home/amin/src/git/org.alloytools.alloy/org.aminb.alloy.catalyst/lib/combinatoricslib3-3.3.0.jar:/home/amin/src/git/org.alloytools.alloy/org.aminb.alloy.catalyst/lib/github-api-1.95.jar:/home/amin/src/git/org.alloytools.alloy/org.aminb.alloy.catalyst/lib/jackson-core-2.9.2.jar:/home/amin/src/git/org.alloytools.alloy/org.aminb.alloy.catalyst/lib/jackson-annotations-2.9.2.jar:/home/amin/src/git/org.alloytools.alloy/org.aminb.alloy.catalyst/lib/jackson-databind-2.9.2.jar:/home/amin/src/git/org.alloytools.alloy/org.aminb.alloy.catalyst/lib/commons-io-1.4.jar:/home/amin/src/git/org.alloytools.alloy/org.aminb.alloy.catalyst/lib/commons-lang3-3.7.jar:/home/amin/src/git/org.alloytools.alloy/org.aminb.alloy.catalyst/lib/commons-codec-1.11.jar:/home/amin/src/git/org.alloytools.alloy/org.aminb.alloy.catalyst/target/classes")))
* TODO Input files ?
* Generated output
For each examined =als= file, Catalyst will create an output file in
=alloyResultsDir=. Optionally, and by default, Catalyst outputs more
information and in a more human-friendly form, by creating a file in
=alloyResultsDebugDir= as well, for each analyzed =als= file. To
disable this, set =debug= to =false=.
** File name
The output file name for each =als= file will be the result of
replacing every forward slash (=/=) in its full absolute path with
=$_=. For instance, =/opt/alloy/my_model.als= becomes
=$_opt$_alloy$_my_model.als=, and =/data/alloy-models/a/test.als=
becomes =$_data$_alloy-models$_a$_test.als=.
This separator can be customized by changing the variable =outSep=.
** Output format
- The first line is the full absolute path of the examined =als= file.
- The second line contains an integer value which is the number of
executions corresponding to this file that will follow.
- Each of the remaining lines in the file correspond to execution of a
model on one or more solvers.
- The very first execution of each model file is always that of the
input file as is without any changes/mutations, and the rest are
executions of mutated models corresponding to that file.
- Each line corresponding to an execution contains the following
information in this order, separated by a single comma:
- the solver id, and
- the total elapsed time for running the solver on all the
module's commands, in milliseconds.
package org.shemshak.alloy.catalyst;
import edu.mit.csail.sdg.ast.Expr;
import edu.mit.csail.sdg.ast.Func;
import edu.mit.csail.sdg.ast.Sig;
public class Item {
public enum ItemKind {
SIG,
PRED_OR_FUN,
FACT,
ASSERT
}
private ItemKind k;
private Object i;
private int ind;
public Item(ItemKind kind, Object item, int index) {
switch (kind) {
case SIG :
assert item instanceof Sig;
case PRED_OR_FUN :
assert item instanceof Func;
case FACT :
case ASSERT :
assert item instanceof Expr;
}
k = kind;
i = item;
ind = index;
}
public Item(ItemKind kind, Object item) {
this(kind, item, 0);
}
public boolean isSig() {
return k == ItemKind.SIG;
}
public boolean isPredOrFun() {
return k == ItemKind.PRED_OR_FUN;
}
public boolean isFact() {
return k == ItemKind.FACT;
}
public boolean isAssert() {
return k == ItemKind.ASSERT;
}
public Sig getSig() {
assert isSig();
return (Sig) i;
}
public Func getPredOrFun() {
assert isPredOrFun();
return (Func) i;
}
public Expr getFact() {
assert isFact();
return (Expr) i;
}
public Expr getAssert() {
assert isAssert();
return (Expr) i;
}
public int getIndex() {
return ind;
}
public void setIndex(int i) {
assert i >= 0;
ind = i;
}
}
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment