OVERVIEW   INDEX   DEPRECATED   HELP   CORRESPONDENCES  


Module Parameters   Data Types   Component Types   Port Types   Constants   Templates   Signatures   Functions   Altsteps   Test Cases  

Module LibMsrp_Notification_Templates


Import Declarations:


Templates Summary
mw_isComposing
m_isComposing
mw_delivered
m_delivered
mw_displayed
m_displayed

Details

mw_isComposing
template IsComposing mw_isComposing :=
     {
state := "active",
lastactive := *,
contenttype := *,
refresh := *,
elem_list := {}  
     }

m_isComposing
template IsComposing m_isComposing :=
{    
state := "active",
lastactive := omit,
contenttype := omit,
refresh := omit,
elem_list := {}
}

mw_delivered
template Imdn mw_delivered := 
{
message_id := ?,
datetime := ?,
sequence := *,
choice := {
delivery_notification := {
status := {
    choice := {delivered := {}},
    deliveryExtension := {anyIMDN_list := ?}
}
}
},
imdnExtension := {anyIMDN_list := {?}}
}

m_delivered
template Imdn m_delivered := 
{
message_id := "",
datetime := "",
sequence := omit,
choice := {
delivery_notification := {
    status := {
        choice := {delivered := {}},
        deliveryExtension := {anyIMDN_list := {}}
    }
}
},
imdnExtension := {anyIMDN_list := {}}
}

mw_displayed
template Imdn mw_displayed := {
    message_id := ?,
    datetime := ?,
    sequence := *,
    choice := {
        display_notification := {
            status := {
                choice := {displayed := ?},
                displayExtension := {anyIMDN_list := ?}
            }
        }
    },
    imdnExtension := {anyIMDN_list := ?}
}

m_displayed
template Imdn m_displayed := {
    message_id := "",
    datetime := "",
    sequence := omit,
    choice := {
        display_notification := {
            status := {
                choice := {displayed := {}},
                displayExtension := {anyIMDN_list := {}}
            }
        }
    },
    imdnExtension := {anyIMDN_list := {}}
}