Function newLogicAnnotation

src/builtin/module_builtin_runtime.cpp:695–703

    };

    AnnotationPtr newLogicAnnotation ( LogicAnnotationOp op, const AnnotationDeclarationPtr & arg0, const AnnotationDeclarationPtr & arg1 ) {
        switch ( op ) {
        case LogicAnnotationOp::Not:    return new LogicOpNotAnnotation(arg0);
        case LogicAnnotationOp::And:    return new LogicOpAndAnnotation(arg0,arg1);
        case LogicAnnotationOp::Or:     return new LogicOpOrAnnotation(arg0,arg1);
        case LogicAnnotationOp::Xor:    return new LogicOpXOrAnnotation(arg0,arg1);
        }
        return nullptr;
    }

    AnnotationPtr newLogicAnnotation ( LogicAnnotationOp op ) {
        switch ( op ) {