respond-with-predefined-apps.mvir

module Adjudicator {
  // the adjudicator explicitly declares the apps it supports
  import 0x32.Payments;
  import 0x34.Poker;
  // etc.
  
  public respond(adj: &mut R#Self.T, s1: &V#State, s2: &V#State) {
    // framework checks 
    // … (not shown) …
    
    // app-specific checks
    let appDef = getAppDefinition(copy(s1))
    if (appDef == '0x32.Payments') {
      Payments.validTransition(copy(s1), copy(s2))
    } else if (appDef == '0x34.Poker') {
      Poker.validTransition(copy(s1), copy(s2))
    } // etc.
 
    // if all check pass, cancel the challenge
    cancel_challenge(move(adjudicator));
   }
}