Class Map

java.lang.Object
edu.tufts.hrilab.polycraft.msg.Msg
edu.tufts.hrilab.polycraft.msg.Map

public class Map extends Msg
Gson can't directly populate this class because it contains a java.util.Map, so it must be populated manually after the JSON has been parsed.
  • Field Details

  • Constructor Details

    • Map

      public Map(Map<String,MapBlock> map)
      Map constructor.
      Parameters:
      map - map data that was parsed from JSON format
  • Method Details

    • generateAssertions

      public Set<Predicate> generateAssertions()
      Specified by:
      generateAssertions in class Msg
    • generateMapAssertions

      public Set<Predicate> generateMapAssertions(boolean includeAir)
      Generate all predicates from the map data.
      Returns: