Undefined Function at <no location>

{-
TorXakis - Model Based Testing
Copyright (c) 2015-2016 TNO and Radboud University
See license.txt
-}

-- ----------------------------------------------------- --

CHANDEF  Chans
 ::=
     Input  ::  Transition;
     Output ::  Result
ENDDEF

-- ----------------------------------------------------- --

MODELDEF  Mod
 ::=
     CHAN IN    Input
     CHAN OUT   Output

     BEHAVIOUR
                Hive [ Input, Output ] ()
ENDDEF

-- ----------------------------------------------------- --

TYPEDEF Transition
 ::= Setup
 ENDDEF

TYPEDEF Result
 ::= Ok | Nok
ENDDEF

STAUTDEF Hive [ t :: Transition; r :: Result] ()
 ::=
     STATE Start, State000
     INIT Start
     TRANS
          Start -> t ? x [[ isSetup(x) ]] -> State000


ENDDEF

-- ----------------------------------------------------- --

CNECTDEF  Sut
 ::=
     CLIENTSOCK

     CHAN OUT  Input                  HOST "localhost"  PORT 2020
     ENCODE    Input ? transition     -> ! toString(transition)

     CHAN IN   Output                 HOST "localhost"  PORT 2020
     DECODE    Output ! fromString(s) <- ? s
ENDDEF

-- ----------------------------------------------------- --

CNECTDEF  Sim
 ::=
     SERVERSOCK

     CHAN IN   Input               HOST "localhost"  PORT 2020
     DECODE    Input  ! fromString <- ? s

     CHAN OUT  Output              HOST "localhost"  PORT 2020
     ENCODE    Output ? r         -> ! toString(r)
ENDDEF

-- ----------------------------------------------------- --
-- ----------------------------------------------------- --