/v:3
/importprivate
/target:library
abp.doc
1932252346
method static void Application.SenderStep()
method static void Application.LooseAck()
method static void Application.LooseMsg()
method static void Application.ReceiverStep()
Variable
field static Application.Ack Application.SenderInbox
Variable
field static bool Application.SenderBit
Variable
field static int Application.SenderNo
Variable
field static Application.DataMsg Application.ReceiverInbox
Variable
field static bool Application.ReceiverBit
Variable
field static int Application.ReceiverNo
ActionMethod
method static void Application.SenderStep()
ActionMethod
method static void Application.ReceiverStep()
ActionMethod
method static void Application.LooseMsg()
ActionMethod
method static void Application.LooseAck()
True
%scope Application
Expression
dialog input
SenderInboxStatus()
%any
True
%scope Application
Expression
dialog input
ReceiverInboxStatus()
%any
True
%scope Application
Expression
dialog input
FileNoDifferense()
%any
True
%scope Application
Expression
dialog input
BitsAreSyncronized()
%any
ParameterGenerator
True
True
FSMPrioGen
True
2
-1
True
True
ExploreNondeterminism
DefaultExploration
True
TestSuiteGenerator
Full
ConformanceTester
True
5000
5
4
3
namespace Application
Error
true
false
true
Microsoft Sans Serif
8.25
Regular
]]>
<__TypeAbbreviations>