vscoder.cre

运用VisualSTATE建模

/*****************************************************************************
* visualSTATE Coder Report
* Generated by visualSTATE Coder 5, 4, 1, 1290
* Time: 2008-07-23 14:27:18
* visualSTATE Project File: <ATM.vsp>
* visualSTATE Signature Generator: "50"
* Project Signature: "c590 2396 447f 2b56 0c78 d80e"
*****************************************************************************/

PROJECT INFORMATION

  Project name : ATM

  Explanation  :
    ""


CODER OPTIONS

  Configuration
  
    API type                                      : Basic
    API version                                   : V4
    Generate for C-SPYLink                        : Yes
    RealLink mode                                 : None
    Use additional RealLink extended keywords     : No
    Enforce compatible RealLink extended keywords : Yes
    C++ code generation                           : No
    Limited license                               : 


  File output
  
    Output directory                       : coder\
    Result file                            : vscoder.cre
    Project external variables source file : ATM_PExtVar.c
    Project external variables header file : ATM_PExtVar.h


  Code
  
    Optimize states and machines     : No
    Functional expression handling   : Function pointer tables
    Data width                       : Optimized
    Use event group table indexing   : No
    Rule data format no.             : Optimized
    Internal variable initialization : By definition
    External variable initialization : By definition
    Generate digital signature       : Yes
    Initialize static storage        : No
    Use heap memory                  : No


  Style
  
    SEM variable types : As macros
    VS variable types  : As macros


  Extended keywords
  
    RealLink protocol data keyword       : 
    RealLink data keyword                : 
    RealLink const data keyword          : 
    C51 variable segment                 : None
    System context keyword               : 
    External variable keyword            : 
    C51 constant segment                 : None
    Core model logic keyword             : 
    Guard expression collection keyword  : 
    Action expression collection keyword : 
    Run-time info keyword                : 


MODEL CHARACTERISTICS

  Model elements
  
    Events             : 0
    Event groups       : 0
    Action functions   : 0
    External variables : 0
    Constants          : 0


  Model components
  
    Systems : 1


GENERATED STATISTICS

  Files
  
    C-SPYLink project source file : CSpyLink.c


******************************************************************************

SYSTEM INFORMATION

  System name : ATM_easy

  Explanation  :
    ""


CODER OPTIONS

  File output
  
    Use Project output path        : Yes
    Output directory               : coder\
    System source file             : ATM_easy.c
    System header file             : ATM_easy.h
    Action expressions header file : ATM_easyAction.h
    Action functions header file   : 
    Constants header file          : 
    External variables source file : 
    External variables header file : 
    System data source file        : ATM_easyData.c
    System data header file        : ATM_easyData.h


  Code
  
    Rule data format no.        : Optimized
    Data width                  : Optimized
    Const system structure      : Yes
    Const guard expression fpt  : Yes
    Const action expression fpt : Yes
    Static model elements       : No
    Merged guard expressions    : No
    Merged action expressions   : No
    Use guard type cast         : Yes
    Use auto variables          : Yes


  Style
  
    System structure name             : ATM_easy
    Action expression collection name : ATM_easyVSAction


  Extended keywords
  
    C51 variable segment       : None
    External variable keyword  : 
    Internal variable keyword  : 
    Double buffer data keyword : 


  API functions
  
    Use API prefix             : Yes
    API prefix                 : ATM_easy
    Include SemExpl            : No
    Include SemExplAbs         : No
    Include SemForceState      : No
    Include SemGetInputAll     : No
    Include SemGetOutputAll    : No
    Include SemInitAll         : Yes
    Include SemInquiry         : No
    Include SemMachine         : No
    Include SemName            : No
    Include SemNameAbs         : No
    Include SemNextStateChg    : No
    Include SemSignalQueueInfo : No
    Include SemState           : No
    Include SemStateAll        : No


  C++
  
    C++ class name       : $(SYSNAME)
    Remove VSNOF* Macros : Yes


  C-SPYLink
  
    Enable full instrumentation : Yes
    Use trace buffer            : Yes
    Trace buffer size           : 2
    Target break points         : 0


  Names
  
    Event name printing      : No text
    State name printing      : No text
    Action function printing : No text
    Event name format        : No conversion
    State name format        : Do not print
    Action function format   : Do not print
    State machine format     : Do not print


MODEL CHARACTERISTICS

  Model elements
  
    Events             :  7
    Event groups       :  0
    Action functions   : 11
    Internal variables :  1
    External variables :  0
    Signals            :  4
    Constants          :  0


  Model components
  
    State chart files :  1
    States            : 14
    State machines    :  7
    Transitions       : 21
    Guard expressions :  2
    Assignments       :  2


  Model parameters
  
    Instances         : 1
    Signal queue size : 1


GENERATED STATISTICS

  Maximum number of rule elements
  
    Positive state conditions : 4
    Negative state conditions : 1
    Guard expressions         : 1
    Action expressions        : 2
    Next states               : 7
    Signals                   : 1


  Core logic information
  
    Applied rule data format no. : 1
    Rule data header word width  : 24 bit
    Rule data width              : 8 bit


  Files
  
    SEM types header file          : ATM_easySEMTypes.h
    SEM definitions header file    : ATM_easySEMBDef.h
    System source file             : ATM_easy.c
    System header file             : ATM_easy.h
    Action expressions header file : ATM_easyAction.h
    System data source file        : ATM_easyData.c
    System data header file        : ATM_easyData.h


  Identifier names
  
    Rule base                    : ATM_easy
    Guard expression collection  : ATM_easyVSGuard
    Action expression collection : ATM_easyVSAction


  Size information
  
    Core logic size in bytes     : 254
    Number of guard expressions  :   2
    Number of action expressions :  13


******************************************************************************

SUMMARY INFORMATION

  Maximum number of rule elements
  
    Positive state conditions : 4
    Negative state conditions : 1
    Guard expressions         : 1
    Action expressions        : 2
    Next states               : 7
    Signals                   : 1


  Accumulated size information
  
    Core logic size in bytes     : 254
    Number of guard expressions  :   2
    Number of action expressions :  13


  Compilation
  
    Errors   : 0
    Warnings : 0


******************************************************************************