module Testmodule {
    yang-version 1;
    namespace http://huawei.com;
    prefix Ant;
    container testcontainer {
        leaf testleaf {
            type "uint16";
        }
        choice snack {
            case sports-arena {
                leaf pretzel {
                    type empty;
                }
             }
        }
    }
    notification testnotification1 {
        leaf type {
            type string;
        }
        leaf severity {
            type string;
        }
    }

    rpc activate-software-image {
        description "description";
        input {
            leaf image-name {
                type string;
            }
            list ospf {
                key "invalid-interval";
                config true;
                max-elements 10;
                min-elements 3;
                leaf invalid-interval {
                    type uint16;
                }
            }
            container isis {
               config true;
               leaf invalid-interval {
                   type uint16;
               }
           }
        }
        output {
            leaf image-name {
                type string;
            }
            leaf image-value {
                type string;
            }
        }
    }
}