1/*
2 * BEGIN LICENSE BLOCK
3 * Version: CMPL 1.1
4 *
5 * The contents of this file are subject to the Cisco-style Mozilla Public
6 * License Version 1.1 (the "License"); you may not use this file except
7 * in compliance with the License.  You may obtain a copy of the License
8 * at www.eclipse-clp.org/license.
9 *
10 * Software distributed under the License is distributed on an "AS IS"
11 * basis, WITHOUT WARRANTY OF ANY KIND, either express or implied.  See
12 * the License for the specific language governing rights and limitations
13 * under the License.
14 *
15 * The Original Code is  The ECLiPSe Constraint Logic Programming System.
16 * The Initial Developer of the Original Code is  Cisco Systems, Inc.
17 * Portions created by the Initial Developer are
18 * Copyright (C) 1990,2006 Cisco Systems, Inc.  All Rights Reserved.
19 *
20 * Contributor(s): Mireille Ducasse, ECRC.
21 *
22 * END LICENSE BLOCK
23 *
24 *	$Id: opium_module.pl,v 1.1 2006/09/23 01:54:35 snovello Exp $
25 *
26 */
27
28/*
29 *  predicates which have to be compiled into each new opium module
30 */
31
32opium_module.	% to announce that the current module is an opium module
33
34% for Mod:Pred/Arity
35:- op(400 , xfy, ':').
36
37% for f_get and b_get
38:- op(500, fx, =).
39:- op(500, fx, <).
40:- op(500, fx, =<).
41:- op(500, fx, >).
42:- op(500, fx, >=).
43
44:- dynamic
45	opium_command/10,
46	opium_parameter/8,
47	opium_primitive/7,
48	opium_procedure/6,
49	opium_scenario/6,
50	opium_type/4,
51	opium_demo/5,
52	autoload_command/2,
53	autoload_scenario/4.
54
55/* the following predicates are system predicates in Sepia, so
56 * they cannot be redefined globally but they have to be imported
57 * explicitely by every opium module
58 */
59:- import
60	(traceable)/1,
61	(untraceable)/1,
62	(skipped)/1,
63	(unskipped)/1,
64	(spy)/1,
65	(nospy)/1,
66	no_trace/0,
67	(listing)/1,
68	(ls)/1
69   from opium_kernel.
70
71
72
73