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