All Downloads are FREE. Search and download functionalities are using the official Maven repository.
Search JAR files by class name

Download BPjs JAR 0.12.3 with all dependencies


Provides runtime and analysis for behavioral programs written in JavaScript. It can run stand-alone (from the commmandline) or be embedded in larger JVM-based systems.

Files of the artifact BPjs version 0.12.3 from the group com.github.bthink-bgu.

Artifact BPjs
Group com.github.bthink-bgu
Version 0.12.3
Last update 13. July 2022
Tags: commmandline larger based runtime analysis javascript alone systems provides behavioral from programs written stand embedded
Organization not specified
URL https://github.com/bThink-BGU/
License MIT License
Dependencies amount 1
Dependencies rhino,
There are maybe transitive dependencies!
The newest version!
Show more of this group  Show more artifacts with this name
Show all versions of BPjs Show documentation

Please rate this JAR file. Is it a good library?

2 downloads

Source code of BPjs version 0.12.3

META-INF
META-INF.META-INF.MANIFEST.MF
META-INF.maven.com.github.bthink-bgu.BPjs
META-INF.maven.com.github.bthink-bgu.BPjs.META-INF.maven.com.github.bthink-bgu.BPjs.pom.properties
META-INF.maven.com.github.bthink-bgu.BPjs.META-INF.maven.com.github.bthink-bgu.BPjs.pom.xml
.RunFile-usage.txt
.globalScopeInit.js
highlevelidioms
highlevelidioms.highlevelidioms.whileblocking.js
il.ac.bgu.cs.bp.bpjs
il.ac.bgu.cs.bp.bpjs.il.ac.bgu.cs.bp.bpjs.BPjs
il.ac.bgu.cs.bp.bpjs.analysis
il.ac.bgu.cs.bp.bpjs.analysis.il.ac.bgu.cs.bp.bpjs.analysis.ArrayExecutionTrace
il.ac.bgu.cs.bp.bpjs.analysis.il.ac.bgu.cs.bp.bpjs.analysis.BProgramSnapshotVisitedStateStore
il.ac.bgu.cs.bp.bpjs.analysis.il.ac.bgu.cs.bp.bpjs.analysis.BThreadSnapshotVisitedStateStore
il.ac.bgu.cs.bp.bpjs.analysis.il.ac.bgu.cs.bp.bpjs.analysis.DfsBProgramVerifier
il.ac.bgu.cs.bp.bpjs.analysis.il.ac.bgu.cs.bp.bpjs.analysis.DfsTraversalNode
il.ac.bgu.cs.bp.bpjs.analysis.il.ac.bgu.cs.bp.bpjs.analysis.ExecutionTrace
il.ac.bgu.cs.bp.bpjs.analysis.il.ac.bgu.cs.bp.bpjs.analysis.ExecutionTraceInspection
il.ac.bgu.cs.bp.bpjs.analysis.il.ac.bgu.cs.bp.bpjs.analysis.ExecutionTraceInspections
il.ac.bgu.cs.bp.bpjs.analysis.il.ac.bgu.cs.bp.bpjs.analysis.ForgetfulVisitedStateStore
il.ac.bgu.cs.bp.bpjs.analysis.il.ac.bgu.cs.bp.bpjs.analysis.Requirements
il.ac.bgu.cs.bp.bpjs.analysis.il.ac.bgu.cs.bp.bpjs.analysis.VerificationResult
il.ac.bgu.cs.bp.bpjs.analysis.il.ac.bgu.cs.bp.bpjs.analysis.VisitedStateStore
il.ac.bgu.cs.bp.bpjs.analysis.eventpattern
il.ac.bgu.cs.bp.bpjs.analysis.eventpattern.il.ac.bgu.cs.bp.bpjs.analysis.eventpattern.EventPattern
il.ac.bgu.cs.bp.bpjs.analysis.eventpattern.il.ac.bgu.cs.bp.bpjs.analysis.eventpattern.EventPatternPart
il.ac.bgu.cs.bp.bpjs.analysis.listeners
il.ac.bgu.cs.bp.bpjs.analysis.listeners.il.ac.bgu.cs.bp.bpjs.analysis.listeners.PrintDfsVerifierListener
il.ac.bgu.cs.bp.bpjs.analysis.violations
il.ac.bgu.cs.bp.bpjs.analysis.violations.il.ac.bgu.cs.bp.bpjs.analysis.violations.DeadlockViolation
il.ac.bgu.cs.bp.bpjs.analysis.violations.il.ac.bgu.cs.bp.bpjs.analysis.violations.DetectedSafetyViolation
il.ac.bgu.cs.bp.bpjs.analysis.violations.il.ac.bgu.cs.bp.bpjs.analysis.violations.HotBThreadViolation
il.ac.bgu.cs.bp.bpjs.analysis.violations.il.ac.bgu.cs.bp.bpjs.analysis.violations.HotRunViolation
il.ac.bgu.cs.bp.bpjs.analysis.violations.il.ac.bgu.cs.bp.bpjs.analysis.violations.HotSystemViolation
il.ac.bgu.cs.bp.bpjs.analysis.violations.il.ac.bgu.cs.bp.bpjs.analysis.violations.HotTerminationViolation
il.ac.bgu.cs.bp.bpjs.analysis.violations.il.ac.bgu.cs.bp.bpjs.analysis.violations.JsErrorViolation
il.ac.bgu.cs.bp.bpjs.analysis.violations.il.ac.bgu.cs.bp.bpjs.analysis.violations.LivenessViolation
il.ac.bgu.cs.bp.bpjs.analysis.violations.il.ac.bgu.cs.bp.bpjs.analysis.violations.Violation
il.ac.bgu.cs.bp.bpjs.bprogramio
il.ac.bgu.cs.bp.bpjs.bprogramio.il.ac.bgu.cs.bp.bpjs.bprogramio.BPJSStubInputStream
il.ac.bgu.cs.bp.bpjs.bprogramio.il.ac.bgu.cs.bp.bpjs.bprogramio.BPJSStubOutputStream
il.ac.bgu.cs.bp.bpjs.bprogramio.il.ac.bgu.cs.bp.bpjs.bprogramio.BProgramSyncSnapshotCloner
il.ac.bgu.cs.bp.bpjs.bprogramio.il.ac.bgu.cs.bp.bpjs.bprogramio.BProgramSyncSnapshotIO
il.ac.bgu.cs.bp.bpjs.bprogramio.il.ac.bgu.cs.bp.bpjs.bprogramio.StreamObjectStub
il.ac.bgu.cs.bp.bpjs.bprogramio.il.ac.bgu.cs.bp.bpjs.bprogramio.StubProvider
il.ac.bgu.cs.bp.bpjs.exceptions
il.ac.bgu.cs.bp.bpjs.exceptions.il.ac.bgu.cs.bp.bpjs.exceptions.BPjsCodeEvaluationException
il.ac.bgu.cs.bp.bpjs.exceptions.il.ac.bgu.cs.bp.bpjs.exceptions.BPjsException
il.ac.bgu.cs.bp.bpjs.exceptions.il.ac.bgu.cs.bp.bpjs.exceptions.BPjsRuntimeException
il.ac.bgu.cs.bp.bpjs.execution
il.ac.bgu.cs.bp.bpjs.execution.il.ac.bgu.cs.bp.bpjs.execution.BProgramRunner
il.ac.bgu.cs.bp.bpjs.execution.jsproxy
il.ac.bgu.cs.bp.bpjs.execution.jsproxy.il.ac.bgu.cs.bp.bpjs.execution.jsproxy.BProgramJsProxy
il.ac.bgu.cs.bp.bpjs.execution.jsproxy.il.ac.bgu.cs.bp.bpjs.execution.jsproxy.BThreadDataProxy
il.ac.bgu.cs.bp.bpjs.execution.jsproxy.il.ac.bgu.cs.bp.bpjs.execution.jsproxy.BpLog
il.ac.bgu.cs.bp.bpjs.execution.jsproxy.il.ac.bgu.cs.bp.bpjs.execution.jsproxy.DirectMapProxy
il.ac.bgu.cs.bp.bpjs.execution.jsproxy.il.ac.bgu.cs.bp.bpjs.execution.jsproxy.EventSetsJsProxy
il.ac.bgu.cs.bp.bpjs.execution.jsproxy.il.ac.bgu.cs.bp.bpjs.execution.jsproxy.MapProxy
il.ac.bgu.cs.bp.bpjs.execution.jsproxy.il.ac.bgu.cs.bp.bpjs.execution.jsproxy.RandomProxy
il.ac.bgu.cs.bp.bpjs.execution.jsproxy.il.ac.bgu.cs.bp.bpjs.execution.jsproxy.SyncStatementBuilder
il.ac.bgu.cs.bp.bpjs.execution.jsproxy.il.ac.bgu.cs.bp.bpjs.execution.jsproxy.SyncStatementBuilderImpl
il.ac.bgu.cs.bp.bpjs.execution.jsproxy.il.ac.bgu.cs.bp.bpjs.execution.jsproxy.package-info
il.ac.bgu.cs.bp.bpjs.execution.listeners
il.ac.bgu.cs.bp.bpjs.execution.listeners.il.ac.bgu.cs.bp.bpjs.execution.listeners.BProgramRunnerListener
il.ac.bgu.cs.bp.bpjs.execution.listeners.il.ac.bgu.cs.bp.bpjs.execution.listeners.BProgramRunnerListenerAdapter
il.ac.bgu.cs.bp.bpjs.execution.listeners.il.ac.bgu.cs.bp.bpjs.execution.listeners.InMemoryEventLoggingListener
il.ac.bgu.cs.bp.bpjs.execution.listeners.il.ac.bgu.cs.bp.bpjs.execution.listeners.PrintBProgramRunnerListener
il.ac.bgu.cs.bp.bpjs.execution.tasks
il.ac.bgu.cs.bp.bpjs.execution.tasks.il.ac.bgu.cs.bp.bpjs.execution.tasks.BPEngineTask
il.ac.bgu.cs.bp.bpjs.execution.tasks.il.ac.bgu.cs.bp.bpjs.execution.tasks.FailedAssertionException
il.ac.bgu.cs.bp.bpjs.execution.tasks.il.ac.bgu.cs.bp.bpjs.execution.tasks.ResumeBThread
il.ac.bgu.cs.bp.bpjs.execution.tasks.il.ac.bgu.cs.bp.bpjs.execution.tasks.StartBThread
il.ac.bgu.cs.bp.bpjs.execution.tasks.il.ac.bgu.cs.bp.bpjs.execution.tasks.StartFork
il.ac.bgu.cs.bp.bpjs.internal
il.ac.bgu.cs.bp.bpjs.internal.il.ac.bgu.cs.bp.bpjs.internal.BPjsRhinoContextFactory
il.ac.bgu.cs.bp.bpjs.internal.il.ac.bgu.cs.bp.bpjs.internal.ExecutorServiceMaker
il.ac.bgu.cs.bp.bpjs.internal.il.ac.bgu.cs.bp.bpjs.internal.MapProxyConsolidator
il.ac.bgu.cs.bp.bpjs.internal.il.ac.bgu.cs.bp.bpjs.internal.OrderedSet
il.ac.bgu.cs.bp.bpjs.internal.il.ac.bgu.cs.bp.bpjs.internal.Pair
il.ac.bgu.cs.bp.bpjs.internal.il.ac.bgu.cs.bp.bpjs.internal.ScriptableUtils
il.ac.bgu.cs.bp.bpjs.internal.il.ac.bgu.cs.bp.bpjs.internal.package-info
il.ac.bgu.cs.bp.bpjs.mains
il.ac.bgu.cs.bp.bpjs.mains.il.ac.bgu.cs.bp.bpjs.mains.BPjsCliRunner
il.ac.bgu.cs.bp.bpjs.mains.il.ac.bgu.cs.bp.bpjs.mains.package-info
il.ac.bgu.cs.bp.bpjs.model
il.ac.bgu.cs.bp.bpjs.model.il.ac.bgu.cs.bp.bpjs.model.BEvent
il.ac.bgu.cs.bp.bpjs.model.il.ac.bgu.cs.bp.bpjs.model.BProgram
il.ac.bgu.cs.bp.bpjs.model.il.ac.bgu.cs.bp.bpjs.model.BProgramSyncSnapshot
il.ac.bgu.cs.bp.bpjs.model.il.ac.bgu.cs.bp.bpjs.model.BThreadSyncSnapshot
il.ac.bgu.cs.bp.bpjs.model.il.ac.bgu.cs.bp.bpjs.model.FailedAssertionViolation
il.ac.bgu.cs.bp.bpjs.model.il.ac.bgu.cs.bp.bpjs.model.ForkStatement
il.ac.bgu.cs.bp.bpjs.model.il.ac.bgu.cs.bp.bpjs.model.ResourceBProgram
il.ac.bgu.cs.bp.bpjs.model.il.ac.bgu.cs.bp.bpjs.model.SafetyViolationTag
il.ac.bgu.cs.bp.bpjs.model.il.ac.bgu.cs.bp.bpjs.model.StorageConflictViolation
il.ac.bgu.cs.bp.bpjs.model.il.ac.bgu.cs.bp.bpjs.model.StorageConsolidationResult
il.ac.bgu.cs.bp.bpjs.model.il.ac.bgu.cs.bp.bpjs.model.StorageModificationStrategy
il.ac.bgu.cs.bp.bpjs.model.il.ac.bgu.cs.bp.bpjs.model.StringBProgram
il.ac.bgu.cs.bp.bpjs.model.il.ac.bgu.cs.bp.bpjs.model.SyncStatement
il.ac.bgu.cs.bp.bpjs.model.eventselection
il.ac.bgu.cs.bp.bpjs.model.eventselection.il.ac.bgu.cs.bp.bpjs.model.eventselection.AbstractEventSelectionStrategy
il.ac.bgu.cs.bp.bpjs.model.eventselection.il.ac.bgu.cs.bp.bpjs.model.eventselection.AbstractEventSelectionStrategyDecorator
il.ac.bgu.cs.bp.bpjs.model.eventselection.il.ac.bgu.cs.bp.bpjs.model.eventselection.EventSelectionResult
il.ac.bgu.cs.bp.bpjs.model.eventselection.il.ac.bgu.cs.bp.bpjs.model.eventselection.EventSelectionStrategy
il.ac.bgu.cs.bp.bpjs.model.eventselection.il.ac.bgu.cs.bp.bpjs.model.eventselection.LoggingEventSelectionStrategyDecorator
il.ac.bgu.cs.bp.bpjs.model.eventselection.il.ac.bgu.cs.bp.bpjs.model.eventselection.OrderedEventSelectionStrategy
il.ac.bgu.cs.bp.bpjs.model.eventselection.il.ac.bgu.cs.bp.bpjs.model.eventselection.PausingEventSelectionStrategyDecorator
il.ac.bgu.cs.bp.bpjs.model.eventselection.il.ac.bgu.cs.bp.bpjs.model.eventselection.PrioritizedBSyncEventSelectionStrategy
il.ac.bgu.cs.bp.bpjs.model.eventselection.il.ac.bgu.cs.bp.bpjs.model.eventselection.PrioritizedBThreadsEventSelectionStrategy
il.ac.bgu.cs.bp.bpjs.model.eventselection.il.ac.bgu.cs.bp.bpjs.model.eventselection.SimpleEventSelectionStrategy
il.ac.bgu.cs.bp.bpjs.model.eventsets
il.ac.bgu.cs.bp.bpjs.model.eventsets.il.ac.bgu.cs.bp.bpjs.model.eventsets.ComposableEventSet
il.ac.bgu.cs.bp.bpjs.model.eventsets.il.ac.bgu.cs.bp.bpjs.model.eventsets.EventSet
il.ac.bgu.cs.bp.bpjs.model.eventsets.il.ac.bgu.cs.bp.bpjs.model.eventsets.EventSets
il.ac.bgu.cs.bp.bpjs.model.eventsets.il.ac.bgu.cs.bp.bpjs.model.eventsets.ExplicitEventSet
il.ac.bgu.cs.bp.bpjs.model.eventsets.il.ac.bgu.cs.bp.bpjs.model.eventsets.JsEventSet
search
search.search.SimpleProgramForSearch.js




© 2015 - 2024 Weber Informatics LLC | Privacy Policy