module lang::flybytes::tests::MonitorTests

rascal-0.34.0

flybytes-0.2.3

Usage

import lang::flybytes::tests::MonitorTests;

Source code

http://github.com/usethesource/flybytes/blob/main/src/lang/flybytes/tests/MonitorTests.rsc

Dependencies

import lang::flybytes::Syntax;
import lang::flybytes::Compiler;

function monitorBreakClass

Class monitorBreakClass()

function monitorReturnClass

Class monitorReturnClass()

function monitorThrowClass

Class monitorThrowClass()

function testMonitorClass

bool testMonitorClass(Class c, int input, int result)

Tests

test monitorBreakTest

test bool monitorBreakTest() = testMonitorClass(monitorBreakClass(), 10, 10);

test monitorReturnTest

test bool monitorReturnTest() = testMonitorClass(monitorReturnClass(), 10, 10);

test monitorUncaughtThrowTest

test bool monitorUncaughtThrowTest() = testMonitorClass(monitorThrowClass(), 10, 10);