Mercurial Mercurial > matiec / annotate
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
lib/counter.txt
author laurent
Sat, 12 Dec 2009 20:41:32 +0100
changeset 233 3d23a68183d3
parent 176 bef3cc16c064
child 257 90782e241346
permissions -rwxr-xr-x
Bug on standard functions called with literals fixed
Checking that number of parameters in function call doesn't exceed the maximum
0
fb772792efd1 Initial commit. Last MatPLC CVS with some makefile inclusion removed in order to compile fine out of MatPLC.
etisserant
parents:
diff changeset 
     1
 
(* Following taken directly from the IEC 61131.3 draft standard *)
fb772792efd1 Initial commit. Last MatPLC CVS with some makefile inclusion removed in order to compile fine out of MatPLC.
etisserant
parents:
diff changeset 
     2
 












fb772792efd1
Initial commit. Last MatPLC CVS with some makefile inclusion removed in order to compile fine out of MatPLC.



etisserant


parents: 

diff
changeset




     3


(*













fb772792efd1
Initial commit. Last MatPLC CVS with some makefile inclusion removed in order to compile fine out of MatPLC.



etisserant


parents: 

diff
changeset




     4


 * An IEC 61131-3 IL and ST compiler.













fb772792efd1
Initial commit. Last MatPLC CVS with some makefile inclusion removed in order to compile fine out of MatPLC.



etisserant


parents: 

diff
changeset




     5


 *













fb772792efd1
Initial commit. Last MatPLC CVS with some makefile inclusion removed in order to compile fine out of MatPLC.



etisserant


parents: 

diff
changeset




     6


 * Based on the













fb772792efd1
Initial commit. Last MatPLC CVS with some makefile inclusion removed in order to compile fine out of MatPLC.



etisserant


parents: 

diff
changeset




     7


 * FINAL DRAFT - IEC 61131-3, 2nd Ed. (2001-12-10)













fb772792efd1
Initial commit. Last MatPLC CVS with some makefile inclusion removed in order to compile fine out of MatPLC.



etisserant


parents: 

diff
changeset




     8


 *













fb772792efd1
Initial commit. Last MatPLC CVS with some makefile inclusion removed in order to compile fine out of MatPLC.



etisserant


parents: 

diff
changeset




     9


 *)













fb772792efd1
Initial commit. Last MatPLC CVS with some makefile inclusion removed in order to compile fine out of MatPLC.



etisserant


parents: 

diff
changeset




    10














fb772792efd1
Initial commit. Last MatPLC CVS with some makefile inclusion removed in order to compile fine out of MatPLC.



etisserant


parents: 

diff
changeset




    11














fb772792efd1
Initial commit. Last MatPLC CVS with some makefile inclusion removed in order to compile fine out of MatPLC.



etisserant


parents: 

diff
changeset




    12


(*













fb772792efd1
Initial commit. Last MatPLC CVS with some makefile inclusion removed in order to compile fine out of MatPLC.



etisserant


parents: 

diff
changeset




    13


 * This is part of the library conatining the functions













fb772792efd1
Initial commit. Last MatPLC CVS with some makefile inclusion removed in order to compile fine out of MatPLC.



etisserant


parents: 

diff
changeset




    14


 * and function blocks defined in the standard.













fb772792efd1
Initial commit. Last MatPLC CVS with some makefile inclusion removed in order to compile fine out of MatPLC.



etisserant


parents: 

diff
changeset




    15


 *













fb772792efd1
Initial commit. Last MatPLC CVS with some makefile inclusion removed in order to compile fine out of MatPLC.



etisserant


parents: 

diff
changeset




    16


 * Counter function blocks













fb772792efd1
Initial commit. Last MatPLC CVS with some makefile inclusion removed in order to compile fine out of MatPLC.



etisserant


parents: 

diff
changeset




    17


 * -----------------------













fb772792efd1
Initial commit. Last MatPLC CVS with some makefile inclusion removed in order to compile fine out of MatPLC.



etisserant


parents: 

diff
changeset




    18


 *)













fb772792efd1
Initial commit. Last MatPLC CVS with some makefile inclusion removed in order to compile fine out of MatPLC.



etisserant


parents: 

diff
changeset




    19














fb772792efd1
Initial commit. Last MatPLC CVS with some makefile inclusion removed in order to compile fine out of MatPLC.



etisserant


parents: 

diff
changeset




    20














fb772792efd1
Initial commit. Last MatPLC CVS with some makefile inclusion removed in order to compile fine out of MatPLC.



etisserant


parents: 

diff
changeset




    21


FUNCTION_BLOCK CTU













fb772792efd1
Initial commit. Last MatPLC CVS with some makefile inclusion removed in order to compile fine out of MatPLC.



etisserant


parents: 

diff
changeset




    22


  VAR_INPUT













fb772792efd1
Initial commit. Last MatPLC CVS with some makefile inclusion removed in order to compile fine out of MatPLC.



etisserant


parents: 

diff
changeset




    23


    CU : BOOL;













fb772792efd1
Initial commit. Last MatPLC CVS with some makefile inclusion removed in order to compile fine out of MatPLC.



etisserant


parents: 

diff
changeset




    24


    R : BOOL;













fb772792efd1
Initial commit. Last MatPLC CVS with some makefile inclusion removed in order to compile fine out of MatPLC.



etisserant


parents: 

diff
changeset




    25


    PV : INT;













fb772792efd1
Initial commit. Last MatPLC CVS with some makefile inclusion removed in order to compile fine out of MatPLC.



etisserant


parents: 

diff
changeset




    26


  END_VAR













fb772792efd1
Initial commit. Last MatPLC CVS with some makefile inclusion removed in order to compile fine out of MatPLC.



etisserant


parents: 

diff
changeset




    27


  VAR_OUTPUT













fb772792efd1
Initial commit. Last MatPLC CVS with some makefile inclusion removed in order to compile fine out of MatPLC.



etisserant


parents: 

diff
changeset




    28


    Q : BOOL;













fb772792efd1
Initial commit. Last MatPLC CVS with some makefile inclusion removed in order to compile fine out of MatPLC.



etisserant


parents: 

diff
changeset




    29


    CV : INT;













fb772792efd1
Initial commit. Last MatPLC CVS with some makefile inclusion removed in order to compile fine out of MatPLC.



etisserant


parents: 

diff
changeset




    30


  END_VAR













fb772792efd1
Initial commit. Last MatPLC CVS with some makefile inclusion removed in order to compile fine out of MatPLC.



etisserant


parents: 

diff
changeset




    31


  IF R THEN CV := 0 ;








176






bef3cc16c064
Bug with non-working counters fixed



lbessard


parents: 
0

diff
changeset




    32


  ELSIF CU AND (CV < PV)








0






fb772792efd1
Initial commit. Last MatPLC CVS with some makefile inclusion removed in order to compile fine out of MatPLC.



etisserant


parents: 

diff
changeset




    33


       THEN CV := CV+1;













fb772792efd1
Initial commit. Last MatPLC CVS with some makefile inclusion removed in order to compile fine out of MatPLC.



etisserant


parents: 

diff
changeset




    34


  END_IF ;













fb772792efd1
Initial commit. Last MatPLC CVS with some makefile inclusion removed in order to compile fine out of MatPLC.



etisserant


parents: 

diff
changeset




    35


  Q := (CV >= PV) ;













fb772792efd1
Initial commit. Last MatPLC CVS with some makefile inclusion removed in order to compile fine out of MatPLC.



etisserant


parents: 

diff
changeset




    36


END_FUNCTION_BLOCK













fb772792efd1
Initial commit. Last MatPLC CVS with some makefile inclusion removed in order to compile fine out of MatPLC.



etisserant


parents: 

diff
changeset




    37














fb772792efd1
Initial commit. Last MatPLC CVS with some makefile inclusion removed in order to compile fine out of MatPLC.



etisserant


parents: 

diff
changeset




    38














fb772792efd1
Initial commit. Last MatPLC CVS with some makefile inclusion removed in order to compile fine out of MatPLC.



etisserant


parents: 

diff
changeset




    39


FUNCTION_BLOCK CTD













fb772792efd1
Initial commit. Last MatPLC CVS with some makefile inclusion removed in order to compile fine out of MatPLC.



etisserant


parents: 

diff
changeset




    40


  VAR_INPUT













fb772792efd1
Initial commit. Last MatPLC CVS with some makefile inclusion removed in order to compile fine out of MatPLC.



etisserant


parents: 

diff
changeset




    41


    CD : BOOL;













fb772792efd1
Initial commit. Last MatPLC CVS with some makefile inclusion removed in order to compile fine out of MatPLC.



etisserant


parents: 

diff
changeset




    42


    LD : BOOL;













fb772792efd1
Initial commit. Last MatPLC CVS with some makefile inclusion removed in order to compile fine out of MatPLC.



etisserant


parents: 

diff
changeset




    43


    PV : INT;













fb772792efd1
Initial commit. Last MatPLC CVS with some makefile inclusion removed in order to compile fine out of MatPLC.



etisserant


parents: 

diff
changeset




    44


  END_VAR













fb772792efd1
Initial commit. Last MatPLC CVS with some makefile inclusion removed in order to compile fine out of MatPLC.



etisserant


parents: 

diff
changeset




    45


  VAR_OUTPUT













fb772792efd1
Initial commit. Last MatPLC CVS with some makefile inclusion removed in order to compile fine out of MatPLC.



etisserant


parents: 

diff
changeset




    46


    Q : BOOL;













fb772792efd1
Initial commit. Last MatPLC CVS with some makefile inclusion removed in order to compile fine out of MatPLC.



etisserant


parents: 

diff
changeset




    47


    CV : INT;













fb772792efd1
Initial commit. Last MatPLC CVS with some makefile inclusion removed in order to compile fine out of MatPLC.



etisserant


parents: 

diff
changeset




    48


  END_VAR













fb772792efd1
Initial commit. Last MatPLC CVS with some makefile inclusion removed in order to compile fine out of MatPLC.



etisserant


parents: 

diff
changeset




    49


  IF LD THEN CV := PV ;








176






bef3cc16c064
Bug with non-working counters fixed



lbessard


parents: 
0

diff
changeset




    50


  ELSIF CD AND (CV > 0)








0






fb772792efd1
Initial commit. Last MatPLC CVS with some makefile inclusion removed in order to compile fine out of MatPLC.



etisserant


parents: 

diff
changeset




    51


      THEN CV := CV-1;













fb772792efd1
Initial commit. Last MatPLC CVS with some makefile inclusion removed in order to compile fine out of MatPLC.



etisserant


parents: 

diff
changeset




    52


  END_IF ;













fb772792efd1
Initial commit. Last MatPLC CVS with some makefile inclusion removed in order to compile fine out of MatPLC.



etisserant


parents: 

diff
changeset




    53


  Q := (CV <= 0) ;













fb772792efd1
Initial commit. Last MatPLC CVS with some makefile inclusion removed in order to compile fine out of MatPLC.



etisserant


parents: 

diff
changeset




    54


END_FUNCTION_BLOCK













fb772792efd1
Initial commit. Last MatPLC CVS with some makefile inclusion removed in order to compile fine out of MatPLC.



etisserant


parents: 

diff
changeset




    55














fb772792efd1
Initial commit. Last MatPLC CVS with some makefile inclusion removed in order to compile fine out of MatPLC.



etisserant


parents: 

diff
changeset




    56














fb772792efd1
Initial commit. Last MatPLC CVS with some makefile inclusion removed in order to compile fine out of MatPLC.



etisserant


parents: 

diff
changeset




    57


FUNCTION_BLOCK CTUD













fb772792efd1
Initial commit. Last MatPLC CVS with some makefile inclusion removed in order to compile fine out of MatPLC.



etisserant


parents: 

diff
changeset




    58


  VAR_INPUT













fb772792efd1
Initial commit. Last MatPLC CVS with some makefile inclusion removed in order to compile fine out of MatPLC.



etisserant


parents: 

diff
changeset




    59


    CU : BOOL;













fb772792efd1
Initial commit. Last MatPLC CVS with some makefile inclusion removed in order to compile fine out of MatPLC.



etisserant


parents: 

diff
changeset




    60


    CD : BOOL;













fb772792efd1
Initial commit. Last MatPLC CVS with some makefile inclusion removed in order to compile fine out of MatPLC.



etisserant


parents: 

diff
changeset




    61


    R  : BOOL;













fb772792efd1
Initial commit. Last MatPLC CVS with some makefile inclusion removed in order to compile fine out of MatPLC.



etisserant


parents: 

diff
changeset




    62


    LD : BOOL;













fb772792efd1
Initial commit. Last MatPLC CVS with some makefile inclusion removed in order to compile fine out of MatPLC.



etisserant


parents: 

diff
changeset




    63


    PV : INT;













fb772792efd1
Initial commit. Last MatPLC CVS with some makefile inclusion removed in order to compile fine out of MatPLC.



etisserant


parents: 

diff
changeset




    64


  END_VAR













fb772792efd1
Initial commit. Last MatPLC CVS with some makefile inclusion removed in order to compile fine out of MatPLC.



etisserant


parents: 

diff
changeset




    65


  VAR_OUTPUT













fb772792efd1
Initial commit. Last MatPLC CVS with some makefile inclusion removed in order to compile fine out of MatPLC.



etisserant


parents: 

diff
changeset




    66


    QU : BOOL;













fb772792efd1
Initial commit. Last MatPLC CVS with some makefile inclusion removed in order to compile fine out of MatPLC.



etisserant


parents: 

diff
changeset




    67


    QD : BOOL;













fb772792efd1
Initial commit. Last MatPLC CVS with some makefile inclusion removed in order to compile fine out of MatPLC.



etisserant


parents: 

diff
changeset




    68


    CV : INT;













fb772792efd1
Initial commit. Last MatPLC CVS with some makefile inclusion removed in order to compile fine out of MatPLC.



etisserant


parents: 

diff
changeset




    69


  END_VAR













fb772792efd1
Initial commit. Last MatPLC CVS with some makefile inclusion removed in order to compile fine out of MatPLC.



etisserant


parents: 

diff
changeset




    70


  IF R THEN CV := 0 ;













fb772792efd1
Initial commit. Last MatPLC CVS with some makefile inclusion removed in order to compile fine out of MatPLC.



etisserant


parents: 

diff
changeset




    71


  ELSIF LD THEN CV := PV ;













fb772792efd1
Initial commit. Last MatPLC CVS with some makefile inclusion removed in order to compile fine out of MatPLC.



etisserant


parents: 

diff
changeset




    72


  ELSE













fb772792efd1
Initial commit. Last MatPLC CVS with some makefile inclusion removed in order to compile fine out of MatPLC.



etisserant


parents: 

diff
changeset




    73


    IF NOT (CU AND CD) THEN








176






bef3cc16c064
Bug with non-working counters fixed



lbessard


parents: 
0

diff
changeset




    74


      IF CU AND (CV < PV)








0






fb772792efd1
Initial commit. Last MatPLC CVS with some makefile inclusion removed in order to compile fine out of MatPLC.



etisserant


parents: 

diff
changeset




    75


      THEN CV := CV+1;








176






bef3cc16c064
Bug with non-working counters fixed



lbessard


parents: 
0

diff
changeset




    76


      ELSIF CD AND (CV > 0)








0






fb772792efd1
Initial commit. Last MatPLC CVS with some makefile inclusion removed in order to compile fine out of MatPLC.



etisserant


parents: 

diff
changeset




    77


      THEN CV := CV-1;













fb772792efd1
Initial commit. Last MatPLC CVS with some makefile inclusion removed in order to compile fine out of MatPLC.



etisserant


parents: 

diff
changeset




    78


      END_IF;













fb772792efd1
Initial commit. Last MatPLC CVS with some makefile inclusion removed in order to compile fine out of MatPLC.



etisserant


parents: 

diff
changeset




    79


    END_IF;













fb772792efd1
Initial commit. Last MatPLC CVS with some makefile inclusion removed in order to compile fine out of MatPLC.



etisserant


parents: 

diff
changeset




    80


  END_IF ;













fb772792efd1
Initial commit. Last MatPLC CVS with some makefile inclusion removed in order to compile fine out of MatPLC.



etisserant


parents: 

diff
changeset




    81


  QU := (CV >= PV) ;













fb772792efd1
Initial commit. Last MatPLC CVS with some makefile inclusion removed in order to compile fine out of MatPLC.



etisserant


parents: 

diff
changeset




    82


  QD := (CV <= 0) ;













fb772792efd1
Initial commit. Last MatPLC CVS with some makefile inclusion removed in order to compile fine out of MatPLC.



etisserant


parents: 

diff
changeset




    83


END_FUNCTION_BLOCK













fb772792efd1
Initial commit. Last MatPLC CVS with some makefile inclusion removed in order to compile fine out of MatPLC.



etisserant


parents: 

diff
changeset




    84














matiec