// Copyright (c) 2001-2003, Jonathan Bachrach, Tom White. See file LICENSE. import java.util.*; public syntax assert { case #{ assert (?expression1:expression); }: return #{ do { if (!(examples.AssertionsStatus.ASSERTIONS_DISABLED || (?expression1))) throw new examples.AssertionError(); } while(false); }; case #{ assert (?expression1:expression, ?expression2:expression); }: return #{ do { if (!(examples.AssertionsStatus.ASSERTIONS_DISABLED || (?expression1))) throw new examples.AssertionError(?expression2); } while(false); }; }