Exemple #1
0
      void constraints() {
        OKLIB_MODELS_CONCEPT_TAG(Lit, Literals);

        OKLIB_MODELS_CONCEPT_REQUIRES(Lit, BasicRequirements);
        OKLIB_MODELS_CONCEPT_TAG(Lit, BasicRequirements);
        OKLIB_MODELS_CONCEPT_REQUIRES(Lit, FullyConstructible);
        OKLIB_MODELS_CONCEPT_TAG(Lit, FullyConstructible);
        OKLIB_MODELS_CONCEPT_REQUIRES(Lit, EqualitySubstitutable);
        OKLIB_MODELS_CONCEPT_TAG(Lit, EqualitySubstitutable);
        OKLIB_MODELS_CONCEPT_REQUIRES(Lit, LinearOrder);
        OKLIB_MODELS_CONCEPT_TAG(Lit, LinearOrder);

        OKLIB_MODELS_CONCEPT_REQUIRES(var_type, Concepts::Variables);
        OKLIB_MODELS_CONCEPT_TAG(var_type, Concepts::Variables);
        OKLIB_MODELS_CONCEPT_REQUIRES(cond_type, Concepts::AtomicCondition);
        OKLIB_MODELS_CONCEPT_TAG(cond_type, Concepts::AtomicCondition);
        
        static_cast<var_type>(OKlib::Literals::var(lc));
        static_cast<var_type>(OKlib::Literals::var(l));

        static_cast<cond_type>(OKlib::Literals::cond(lc));

        OKlib::Literals::set_cond(l, c);

        dummy_use(Lit(v));
      }
Exemple #2
0
unsigned int
readuuhead(T_HD *hp, unsigned char *ptr, unsigned int slen)
{
    unsigned int mode= hp->mode;

#if BCB
    dummy_use(slen);               /* BCB の警告対策 */
#endif

    memclr(sizeof(T_HD)-NAMES, hp);
    hp->mode= mode;
    ptr = getword(hp->fname, ptr);
    if(*ptr) {
        ptr = getword(hp->fname, ptr);
        hp->perm = num7str(hp->fname);
        if(hp->perm >= 0 && *ptr) {
            ptr = getword(hp->fname, ptr);
#if BCB
            dummy_use((unsigned int)ptr);
#endif
            if(!(hp->mode & mLIST)) {
                Merr((char *)hp->fname);
                Merrch(' ');
            } else {
                Mprint((char *)hp->fname);
                Mprint(" line:");
            }
            hp->ztype = zUUE;
            hp->uulength = -1;
            hp->fsize = 0;
            hp->nextline = 0;

            return TRUE;
        }
    }

    return	FALSE;
}
// (FIXME: also tested elsewhere)
TEST_F(ParamsTest,ReadAttempt)
{
    double x;
    
    EXPECT_THROW(x=this->par["no_such_name"], alps::params::uninitialized_value);
    
    x=this->par["assigned"];
    
    x=this->par["present_no_default"];
    x=this->par["present_has_default"];

    EXPECT_THROW(x=this->par["missing_no_default"], alps::params::uninitialized_value);
    x=this->par["missing_has_default"];

    dummy_use(&x);
}