Examples with BEvent il.ac.bgu.cs.bp.bpjs.model.BEvent used on opensource projects

Example 36 with BEvent

use of il.ac.bgu.cs.bp.bpjs.model.BEvent in project BPjs by bThink-BGU.

the class BProgramSyncSnapshotIO method deserialize.

public BProgramSyncSnapshot deserialize(byte[] bytes) throws IOException, ClassNotFoundException {
    try {
        Context ctxt = ContextFactory.getGlobal().enterContext();
        // must use interpreter mode
        ctxt.setOptimizationLevel(-1);
        final ScriptableObject globalScope = ctxt.initStandardObjects();
        try (ScriptableInputStream sis = new ScriptableInputStream(new ByteArrayInputStream(bytes), globalScope)) {
            Header header = (Header) sis.readObject();
            Set<BThreadSyncSnapshot> bthreads = new HashSet<>(header.bthreadCount);
            for (int i = 0; i < header.bthreadCount; i++) {
                bthreads.add(readBThreadSnapshot(sis, globalScope));
            }
            List<BEvent> events = new ArrayList<>(header.externalEventCount);
            for (int i = 0; i < header.externalEventCount; i++) {
                events.add((BEvent) sis.readObject());
            }
            return new BProgramSyncSnapshot(bprogram, bthreads, events, header.fa);
        }
    } finally {
        Context.exit();
    }
}

Example 37 with BEvent

use of il.ac.bgu.cs.bp.bpjs.model.BEvent in project BPjs by bThink-BGU.

the class BProgramSyncSnapshotIO method serialize.

public byte[] serialize(BProgramSyncSnapshot bpss) throws IOException {
    try {
        // need Javascript environment for
        Context ctxt = Context.enter();
        // this, even though we're not
        // executing code per se.
        final ScriptableObject globalScope = ctxt.initStandardObjects();
        try (ByteArrayOutputStream bytes = new ByteArrayOutputStream();
            ObjectOutputStream outs = new ObjectOutputStream(bytes)) {
            outs.writeObject(new Header(bpss.getBThreadSnapshots().size(), bpss.getExternalEvents().size(), bpss.getFailedAssertion()));
            for (BThreadSyncSnapshot bss : bpss.getBThreadSnapshots()) {
                writeBThreadSnapshot(bss, outs, globalScope);
            }
            for (BEvent ee : bpss.getExternalEvents()) {
                outs.writeObject(ee);
            }
            outs.flush();
            return bytes.toByteArray();
        }
    } finally {
        Context.exit();
    }
}