Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Actor assertions #117

Closed
wants to merge 17 commits into from
Closed

Actor assertions #117

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
17 commits
Select commit Hold shift + click to select a range
d3f16bc
Add Assertion Tests
daumayr Mar 21, 2017
ca3fce3
made assertions promise-based
daumayr Mar 27, 2017
be309a6
added untraced promises and messages for internals
daumayr Apr 4, 2017
9636d39
Move assertions to own module
daumayr Apr 19, 2017
e3ebdf2
added bool operators for promises, some redesign of assertions
daumayr Apr 19, 2017
4eb2036
Added tests for boolean operations on promises
daumayr May 2, 2017
11b2281
added remote assertions
daumayr May 9, 2017
816a5bb
allow adding assertions while checking
daumayr May 10, 2017
46c3363
Allow evaluation to promise for next: and assert:on:
daumayr May 10, 2017
a376921
update build.xml
daumayr May 10, 2017
31757ca
Fix shutdown behavior of assertions
daumayr May 10, 2017
d344b3d
reduce code duplication
daumayr May 10, 2017
7ff24fa
improved usability of assert:on:
daumayr May 10, 2017
8d9ac0a
fix message numbers
daumayr May 10, 2017
eaa78eb
Implement untraced callbacks for assertions
daumayr May 16, 2017
b945397
simplified assertion tests
daumayr May 16, 2017
2edf09c
update dym-metrics
daumayr May 16, 2017
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
6 changes: 5 additions & 1 deletion build.xml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -179,6 +179,10 @@
<arg value="2" />
</exec>
</target>

<target name="actor-assertion-tests" depends="compile">
<exec executable="tests/actor-assertions/test.sh" failonerror="true"></exec>
</target>

<target name="core-tests" depends="unit-tests,som-tests,dynamic-metrics-tests">
</target>
Expand All @@ -192,6 +196,6 @@
</java>
</target>

<target name="tests" depends="core-tests,replay-tests,coverage">
<target name="tests" depends="core-tests,replay-tests, actor-assertion-tests,coverage">
</target>
</project>
5 changes: 3 additions & 2 deletions core-lib/Actors.som
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -18,10 +18,11 @@ LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
THE SOFTWARE.
*)
class Actors usingVmMirror: vmMirror usingKernel: kernel = Value (
class Actors usingVmMirror: vmMirror usingKernel: kernel usingPlatform: platform = Value (
| private vmMirror = vmMirror.
private Exception = kernel Exception.
private Vector = kernel Vector.
private ObjectMirror = platform mirrors ObjectMirror.
|
(* the easiest way to get to this reference in the VM.
And, yes, looks dirty, but is rather ok. They are Values after all. *)
Expand Down Expand Up @@ -149,7 +150,7 @@ class Actors usingVmMirror: vmMirror usingKernel: kernel = Value (
public for: p = (
^ PromiseGroup for: p head: nil
)
)
)

public createPromisePair = (
^ vmMirror actorsCreatePromisePair: nil.
Expand Down
Loading