00001 #ifndef TYPEINFER_HXX 00002 #define TYPEINFER_HXX 00003 00004 /************************************************************************** 00005 * 00006 * Copyright (C) 2008, Johns Hopkins University. 00007 * All rights reserved. 00008 * 00009 * Redistribution and use in source and binary forms, with or 00010 * without modification, are permitted provided that the following 00011 * conditions are met: 00012 * 00013 * - Redistributions of source code must contain the above 00014 * copyright notice, this list of conditions, and the following 00015 * disclaimer. 00016 * 00017 * - Redistributions in binary form must reproduce the above 00018 * copyright notice, this list of conditions, and the following 00019 * disclaimer in the documentation and/or other materials 00020 * provided with the distribution. 00021 * 00022 * - Neither the names of the copyright holders nor the names of any 00023 * of any contributors may be used to endorse or promote products 00024 * derived from this software without specific prior written 00025 * permission. 00026 * 00027 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS 00028 * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT 00029 * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR 00030 * A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT 00031 * OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, 00032 * SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT 00033 * LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, 00034 * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY 00035 * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT 00036 * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE 00037 * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 00038 * 00039 **************************************************************************/ 00040 00046 00047 enum TI_FlagValues { 00048 TI_NO_FLAGS = 0x000u, 00051 00054 TI_TYP_EXP = 0x001u, 00057 TI_TYP_APP = 0x002u, 00061 TI_TCC_SUB = 0x004u, 00064 TI_TYP_DEFN = 0x008u, 00065 00068 00070 TI_DEF_DECL_NO_MATCH = 0x010u, 00071 00073 TI_NO_PRELUDE = 0x020u, 00074 00079 TI_NO_MORE_TC = 0x040u, 00080 00083 TI_ALL_INSTS_OK = 0x100u, 00084 00087 TI_METHOD_OK = 0x200u, 00088 00093 TI_USING_FQNS = 0x400u 00094 00095 }; 00096 typedef sherpa::EnumSet<TI_FlagValues> TI_Flags; 00097 00103 enum UnifyFlagValues { 00106 UFLG_NO_FLAGS = 0x00, 00110 UFLG_UNIFY_STRICT = 0x01u, 00118 UFLG_UNIFY_STRICT_TVAR = 0x02u, 00126 UFLG_UN_IGN_RIGIDITY = 0x04u, 00127 }; 00128 00129 typedef sherpa::EnumSet<UnifyFlagValues> UnifyFlags; 00130 00131 00132 #endif /* TYPEINFER_HXX */
1.4.7