From owner-p4-projects@FreeBSD.ORG Mon Mar 18 00:37:32 2013 Return-Path: Delivered-To: p4-projects@freebsd.org Received: by hub.freebsd.org (Postfix, from userid 32767) id 968448A9; Mon, 18 Mar 2013 00:37:32 +0000 (UTC) Delivered-To: perforce@freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2001:1900:2254:206a::19:1]) by hub.freebsd.org (Postfix) with ESMTP id 56F188A7 for ; Mon, 18 Mar 2013 00:37:32 +0000 (UTC) (envelope-from bb+lists.freebsd.perforce@cyrus.watson.org) Received: from skunkworks.freebsd.org (skunkworks.freebsd.org [IPv6:2001:1900:2254:2068::682:0]) by mx1.freebsd.org (Postfix) with ESMTP id 2ED27B31 for ; Mon, 18 Mar 2013 00:37:32 +0000 (UTC) Received: from skunkworks.freebsd.org ([127.0.1.74]) by skunkworks.freebsd.org (8.14.6/8.14.6) with ESMTP id r2I0bWjG019744 for ; Mon, 18 Mar 2013 00:37:32 GMT (envelope-from bb+lists.freebsd.perforce@cyrus.watson.org) Received: (from perforce@localhost) by skunkworks.freebsd.org (8.14.6/8.14.6/Submit) id r2I0bWe6019741 for perforce@freebsd.org; Mon, 18 Mar 2013 00:37:32 GMT (envelope-from bb+lists.freebsd.perforce@cyrus.watson.org) Date: Mon, 18 Mar 2013 00:37:32 GMT Message-Id: <201303180037.r2I0bWe6019741@skunkworks.freebsd.org> X-Authentication-Warning: skunkworks.freebsd.org: perforce set sender to bb+lists.freebsd.perforce@cyrus.watson.org using -f From: Robert Watson Subject: PERFORCE change 222994 for review To: Perforce Change Reviews Precedence: bulk X-BeenThere: p4-projects@freebsd.org X-Mailman-Version: 2.1.14 List-Id: p4 projects tree changes List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Mon, 18 Mar 2013 00:37:32 -0000 http://p4web.freebsd.org/@@222994?ac=10 Change 222994 by rwatson@rwatson_cinnamon on 2013/03/18 00:36:51 Update tesla-macros.h for recent github changes. Affected files ... .. //depot/projects/ctsrd/tesla/src/sys/libtesla/tesla-macros.h#2 edit Differences ... ==== //depot/projects/ctsrd/tesla/src/sys/libtesla/tesla-macros.h#2 (text+ko) ==== @@ -39,18 +39,26 @@ * Macros to make TESLA assertions a little easier to read. */ +/** An assertion made within the execution of a particular function. */ +#define TESLA_WITHIN(function, expression) \ + TESLA_PERTHREAD( \ + callee(called(function)), \ + callee(returned(function)), \ + expression \ + ) + /** An inline assertion. */ -#define TESLA_ASSERT(locality, predicate) \ +#define TESLA_ASSERT(locality, start, end, predicate) \ __tesla_inline_assertion( \ __FILE__, __LINE__, __COUNTER__, \ - locality, predicate \ + locality, start, end, predicate \ ) /** An assertion in the global TESLA context. */ -#define TESLA_GLOBAL(pred) TESLA_ASSERT(__tesla_global, pred) +#define TESLA_GLOBAL(...) TESLA_ASSERT(__tesla_global, __VA_ARGS__) /** An assertion in a thread's TESLA context. */ -#define TESLA_PERTHREAD(pred) TESLA_ASSERT(__tesla_perthread, pred) +#define TESLA_PERTHREAD(...) TESLA_ASSERT(__tesla_perthread, __VA_ARGS__) /** A strictly-ordered sequence of events. */ #define TSEQUENCE(...) __tesla_sequence(__tesla_ignore, __VA_ARGS__) @@ -61,7 +69,7 @@ #define callee(...) __tesla_callee(__tesla_ignore, __VA_ARGS__) #define caller(...) __tesla_caller(__tesla_ignore, __VA_ARGS__) -#define TESLA_NOW &__tesla_now +#define TESLA_NOW __tesla_now #define TESLA_STRUCT_AUTOMATON(fn_name) __tesla_struct_automaton(fn_name) @@ -78,20 +86,10 @@ #define ANY(int_type) __tesla_any(int_type) /** A more programmer-friendly way to write assertions about the past. */ -#define since(bound, x) \ - __tesla_sequence( \ - bound, \ - x, \ - __tesla_now \ - ) +#define previously(x) TSEQUENCE(x, TESLA_NOW) /** A more programmer-friendly way to write assertions about the future. */ -#define before(bound, x) \ - __tesla_sequence( \ - __tesla_now, \ - x, \ - bound \ - ) +#define eventually(x) TSEQUENCE(TESLA_NOW, x) #endif /* !TESLA_MACROS_H */