mirrors/yarn
mirrors
/
yarn
mirror of https://github.com/FabricMC/yarn.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

20w14infinite

This commit is contained in:
modmuss50 2020-04-01 16:40:28 +01:00
parent d154cce219
commit 055af4c5b9
24 changed files with 73 additions and 103 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
build.gradle
View File

@ -22,7 +22,7 @@ plugins {
id 'maven-publish'
}
def minecraft_version = "20w13b"
def minecraft_version = "20w14infinite"
def ENV = System.getenv()
// Fetch build number from Jenkins

6
mappings/net/minecraft/advancement/criterion/ChangedDimensionCriterion.mapping
View File

@ -7,11 +7,9 @@ CLASS net/minecraft/class_1999 net/minecraft/advancement/criterion/ChangedDimens
CLASS class_2001 Conditions
FIELD field_9497 from Lnet/minecraft/class_2874;
FIELD field_9498 to Lnet/minecraft/class_2874;
METHOD <init> (Lnet/minecraft/class_2874;Lnet/minecraft/class_2874;)V
METHOD <init> (Lnet/minecraft/class_2874;Lnet/minecraft/class_2874;Lnet/minecraft/class_2048;)V
ARG 1 from
ARG 2 to
METHOD method_8799 to (Lnet/minecraft/class_2874;)Lnet/minecraft/class_1999$class_2001;
ARG 0 to
METHOD method_8800 matches (Lnet/minecraft/class_2874;Lnet/minecraft/class_2874;)Z
ARG 1 from
ARG 2 to
METHOD method_8800 matches (Lnet/minecraft/class_3222;Lnet/minecraft/class_2874;Lnet/minecraft/class_2874;)Z

32
mappings/net/minecraft/block/NetherPortalBlock.mapping
View File

@ -1,33 +1 @@
CLASS net/minecraft/class_2423 net/minecraft/block/NetherPortalBlock
FIELD field_11308 Z_SHAPE Lnet/minecraft/class_265;
FIELD field_11309 X_SHAPE Lnet/minecraft/class_265;
FIELD field_11310 AXIS Lnet/minecraft/class_2754;
METHOD method_10350 findPortal (Lnet/minecraft/class_1936;Lnet/minecraft/class_2338;)Lnet/minecraft/class_2700$class_2702;
ARG 1 world
METHOD method_10351 createAreaHelper (Lnet/minecraft/class_1936;Lnet/minecraft/class_2338;)Lnet/minecraft/class_2423$class_2424;
METHOD method_10352 createPortalAt (Lnet/minecraft/class_1936;Lnet/minecraft/class_2338;)Z
CLASS class_2424 AreaHelper
FIELD field_11311 width I
FIELD field_11312 height I
FIELD field_11313 foundPortalBlocks I
FIELD field_11314 negativeDir Lnet/minecraft/class_2350;
FIELD field_11315 positiveDir Lnet/minecraft/class_2350;
FIELD field_11316 lowerCorner Lnet/minecraft/class_2338;
FIELD field_11317 axis Lnet/minecraft/class_2350$class_2351;
FIELD field_11318 world Lnet/minecraft/class_1936;
METHOD <init> (Lnet/minecraft/class_1936;Lnet/minecraft/class_2338;Lnet/minecraft/class_2350$class_2351;)V
ARG 1 world
ARG 2 pos
ARG 3 axis
METHOD method_10353 findHeight ()I
METHOD method_10354 distanceToPortalEdge (Lnet/minecraft/class_2338;Lnet/minecraft/class_2350;)I
ARG 1 pos
ARG 2 dir
METHOD method_10355 getHeight ()I
METHOD method_10356 getWidth ()I
METHOD method_10359 validStateInsidePortal (Lnet/minecraft/class_2680;)Z
ARG 1 state
METHOD method_10360 isValid ()Z
METHOD method_10361 portalAlreadyExisted ()Z
METHOD method_10362 wasAlreadyValid ()Z
METHOD method_10363 createPortal ()V

15
mappings/net/minecraft/class_5001.mapping Normal file
View File

@ -0,0 +1,15 @@
CLASS net/minecraft/class_5001
METHOD method_17560 getPageCount ()I
METHOD method_17561 getPageUnchecked (I)Lnet/minecraft/class_2561;
CLASS class_3932 WritableBookContents
FIELD field_17419 pages Ljava/util/List;
METHOD <init> (Lnet/minecraft/class_1799;)V
ARG 1 stack
METHOD method_17564 getPages (Lnet/minecraft/class_1799;)Ljava/util/List;
ARG 0 stack
CLASS class_3933 WrittenBookContents
FIELD field_17420 pages Ljava/util/List;
METHOD <init> (Lnet/minecraft/class_1799;)V
ARG 1 stack
METHOD method_17565 getPages (Lnet/minecraft/class_1799;)Ljava/util/List;
ARG 0 stack

25
mappings/net/minecraft/class_5010.mapping Normal file
View File

@ -0,0 +1,25 @@
CLASS net/minecraft/class_5010
CLASS class_2424 AreaHelper
FIELD field_11311 width I
FIELD field_11312 height I
FIELD field_11313 foundPortalBlocks I
FIELD field_11314 negativeDir Lnet/minecraft/class_2350;
FIELD field_11315 positiveDir Lnet/minecraft/class_2350;
FIELD field_11316 lowerCorner Lnet/minecraft/class_2338;
FIELD field_11317 axis Lnet/minecraft/class_2350$class_2351;
FIELD field_11318 world Lnet/minecraft/class_1936;
METHOD <init> (Lnet/minecraft/class_1936;Lnet/minecraft/class_2338;Lnet/minecraft/class_2350$class_2351;Lnet/minecraft/class_2248;)V
ARG 1 world
ARG 2 pos
METHOD method_10353 findHeight ()I
METHOD method_10354 distanceToPortalEdge (Lnet/minecraft/class_2338;Lnet/minecraft/class_2350;)I
ARG 1 pos
ARG 2 dir
METHOD method_10355 getHeight ()I
METHOD method_10356 getWidth ()I
METHOD method_10359 validStateInsidePortal (Lnet/minecraft/class_2680;)Z
ARG 1 state
METHOD method_10360 isValid ()Z
METHOD method_10361 portalAlreadyExisted ()Z
METHOD method_10362 wasAlreadyValid ()Z
METHOD method_10363 createPortal ()V

31
mappings/net/minecraft/client/gui/screen/ingame/BookScreen.mapping
View File

@ -5,12 +5,11 @@ CLASS net/minecraft/class_3872 net/minecraft/client/gui/screen/ingame/BookScreen
FIELD field_17121 cachedPageIndex I
FIELD field_17122 nextPageButton Lnet/minecraft/class_474;
FIELD field_17123 previousPageButton Lnet/minecraft/class_474;
FIELD field_17417 EMPTY_PROVIDER Lnet/minecraft/class_3872$class_3931;
FIELD field_17418 contents Lnet/minecraft/class_3872$class_3931;
FIELD field_17418 contents Lnet/minecraft/class_5001;
FIELD field_18976 pageTurnSound Z
METHOD <init> (Lnet/minecraft/class_3872$class_3931;)V
METHOD <init> (Lnet/minecraft/class_5001;)V
ARG 1 pageProvider
METHOD <init> (Lnet/minecraft/class_3872$class_3931;Z)V
METHOD <init> (Lnet/minecraft/class_5001;Z)V
ARG 1 contents
ARG 2 playPageTurnSound
METHOD method_17048 getTextAt (DD)Lnet/minecraft/class_2561;
@ -22,33 +21,11 @@ CLASS net/minecraft/class_3872 net/minecraft/client/gui/screen/ingame/BookScreen
METHOD method_17057 goToPreviousPage ()V
METHOD method_17058 goToNextPage ()V
METHOD method_17059 updatePageButtons ()V
METHOD method_17554 setPageProvider (Lnet/minecraft/class_3872$class_3931;)V
METHOD method_17554 setPageProvider (Lnet/minecraft/class_5001;)V
ARG 1 pageProvider
METHOD method_17555 readPages (Lnet/minecraft/class_2487;)Ljava/util/List;
ARG 0 tag
METHOD method_17556 setPage (I)Z
ARG 1 index
METHOD method_17557 addCloseButton ()V
METHOD method_17558 addPageButtons ()V
METHOD method_17789 jumpToPage (I)Z
ARG 1 page
CLASS class_3931 Contents
METHOD method_17560 getPageCount ()I
METHOD method_17561 getPageUnchecked (I)Lnet/minecraft/class_2561;
ARG 1 index
METHOD method_17562 create (Lnet/minecraft/class_1799;)Lnet/minecraft/class_3872$class_3931;
ARG 0 stack
METHOD method_17563 getPage (I)Lnet/minecraft/class_2561;
ARG 1 index
CLASS class_3932 WritableBookContents
FIELD field_17419 pages Ljava/util/List;
METHOD <init> (Lnet/minecraft/class_1799;)V
ARG 1 stack
METHOD method_17564 getPages (Lnet/minecraft/class_1799;)Ljava/util/List;
ARG 0 stack
CLASS class_3933 WrittenBookContents
FIELD field_17420 pages Ljava/util/List;
METHOD <init> (Lnet/minecraft/class_1799;)V
ARG 1 stack
METHOD method_17565 getPages (Lnet/minecraft/class_1799;)Ljava/util/List;
ARG 0 stack

2
mappings/net/minecraft/client/world/ClientChunkManager.mapping
View File

@ -7,7 +7,7 @@ CLASS net/minecraft/class_631 net/minecraft/client/world/ClientChunkManager
METHOD <init> (Lnet/minecraft/class_638;I)V
ARG 1 world
ARG 2 loadDistance
METHOD method_16020 loadChunkFromPacket (IILnet/minecraft/class_4548;Lnet/minecraft/class_2540;Lnet/minecraft/class_2487;I)Lnet/minecraft/class_2818;
METHOD method_16020 loadChunkFromPacket (IILnet/minecraft/class_4548;Lnet/minecraft/class_2540;Lnet/minecraft/class_2487;IZ)Lnet/minecraft/class_2818;
METHOD method_20180 updateLoadDistance (I)V
ARG 1 loadDistance
METHOD method_20181 positionEquals (Lnet/minecraft/class_2818;II)Z

2
mappings/net/minecraft/data/client/model/BlockStateModelGenerator.mapping
View File

@ -21,7 +21,7 @@ CLASS net/minecraft/class_4910 net/minecraft/data/client/model/BlockStateModelGe
METHOD method_25520 registerIronBars ()V
METHOD method_25521 registerLever ()V
METHOD method_25522 registerLilyPad ()V
METHOD method_25523 registerNetherPortal ()V
METHOD method_25523 registerNetherPortal (Lnet/minecraft/class_2248;)V
METHOD method_25524 registerNetherrack ()V
METHOD method_25525 registerObserver ()V
METHOD method_25526 registerPistons ()V

2
mappings/net/minecraft/entity/Entity.mapping
View File

@ -395,7 +395,7 @@ CLASS net/minecraft/class_1297 net/minecraft/entity/Entity
ARG 1 killer
ARG 2 score
ARG 3 damageSource
METHOD method_5717 setInNetherPortal (Lnet/minecraft/class_2338;)V
METHOD method_5717 setInNetherPortal (Lnet/minecraft/class_2338;Lnet/minecraft/class_2248;)V
ARG 1 pos
METHOD method_5718 getBrightnessAtEyes ()F
METHOD method_5719 copyPositionAndRotation (Lnet/minecraft/class_1297;)V

2
mappings/net/minecraft/particle/ParticleType.mapping
View File

@ -1,7 +1,7 @@
CLASS net/minecraft/class_2396 net/minecraft/particle/ParticleType
FIELD field_11196 shouldAlwaysSpawn Z
FIELD field_11197 parametersFactory Lnet/minecraft/class_2394$class_2395;
METHOD <init> (ZLnet/minecraft/class_2394$class_2395;)V
METHOD <init> (ZLnet/minecraft/class_2394$class_2395;Ljava/util/function/BiFunction;)V
ARG 1 shouldAlwaysShow
ARG 2 parametersFactory
METHOD method_10298 getParametersFactory ()Lnet/minecraft/class_2394$class_2395;

2
mappings/net/minecraft/particle/ParticleTypes.mapping
View File

@ -2,6 +2,6 @@ CLASS net/minecraft/class_2398 net/minecraft/particle/ParticleTypes
METHOD method_10303 register (Ljava/lang/String;Z)Lnet/minecraft/class_2400;
ARG 0 name
ARG 1 alwaysShow
METHOD method_10304 register (Ljava/lang/String;Lnet/minecraft/class_2394$class_2395;)Lnet/minecraft/class_2396;
METHOD method_10304 register (Ljava/lang/String;Lnet/minecraft/class_2394$class_2395;Ljava/util/function/BiFunction;)Lnet/minecraft/class_2396;
ARG 0 name
ARG 1 factory

1
mappings/net/minecraft/server/network/ServerPlayerEntity.mapping
View File

@ -96,7 +96,6 @@ CLASS net/minecraft/class_3222 net/minecraft/server/network/ServerPlayerEntity
METHOD method_17668 setCameraPosition (Lnet/minecraft/class_4076;)V
ARG 1 cameraPosition
METHOD method_18783 dimensionChanged (Lnet/minecraft/class_3218;)V
ARG 1 targetWorld
METHOD method_26280 getSpawnPointPosition ()Lnet/minecraft/class_2338;
METHOD method_26281 getSpawnPointDimension ()Lnet/minecraft/class_2874;
METHOD method_26282 isSpawnPointSet ()Z

1
mappings/net/minecraft/util/registry/Registry.mapping
View File

@ -29,6 +29,7 @@ CLASS net/minecraft/class_2378 net/minecraft/util/registry/Registry
ARG 2 id
ARG 3 entry
METHOD method_10235 getIds ()Ljava/util/Set;
METHOD method_10240 getRandom (Ljava/util/Random;)Ljava/lang/Object;
METHOD method_10247 create (Ljava/lang/String;Ljava/util/function/Supplier;)Lnet/minecraft/class_2378;
ARG 0 id
METHOD method_10249 getRawId (Ljava/lang/Object;)I

3
mappings/net/minecraft/util/registry/SimpleRegistry.mapping
View File

@ -2,6 +2,5 @@ CLASS net/minecraft/class_2370 net/minecraft/util/registry/SimpleRegistry
FIELD field_11107 entries Lcom/google/common/collect/BiMap;
FIELD field_11108 randomEntries [Ljava/lang/Object;
FIELD field_11109 nextId I
FIELD field_11110 indexedEntries Lnet/minecraft/class_3513;
FIELD field_11110 indexedEntries Lit/unimi/dsi/fastutil/ints/Int2ObjectMap;
FIELD field_11111 LOGGER Lorg/apache/logging/log4j/Logger;
METHOD method_10240 getRandom (Ljava/util/Random;)Ljava/lang/Object;

6
mappings/net/minecraft/world/biome/Biome.mapping
View File

@ -2,7 +2,6 @@ CLASS net/minecraft/class_1959 net/minecraft/world/biome/Biome
FIELD field_20335 temperatureCache Ljava/lang/ThreadLocal;
FIELD field_21806 skyColor I
FIELD field_22039 effects Lnet/minecraft/class_4763;
FIELD field_22040 noisePoints Ljava/util/List;
FIELD field_9323 BIOMES Ljava/util/Set;
FIELD field_9324 FOLIAGE_NOISE Lnet/minecraft/class_3543;
FIELD field_9325 spawns Ljava/util/Map;
@ -27,8 +26,6 @@ CLASS net/minecraft/class_1959 net/minecraft/world/biome/Biome
METHOD method_21740 getTemperature (Lnet/minecraft/class_2338;)F
ARG 1 blockPos
METHOD method_24218 calculateSkyColor ()I
METHOD method_24374 getNoiseDistance (Lnet/minecraft/class_1959$class_4762;)F
ARG 1 from
METHOD method_24376 getFogColor ()I
METHOD method_24377 getEffects ()Lnet/minecraft/class_4763;
METHOD method_24378 getParticleConfig ()Ljava/util/Optional;
@ -107,7 +104,6 @@ CLASS net/minecraft/class_1959 net/minecraft/world/biome/Biome
METHOD method_8724 hasHighHumidity ()Z
METHOD method_8725 getParent ()Ljava/lang/String;
CLASS class_1960 Settings
FIELD field_22041 noises Ljava/util/List;
FIELD field_22042 specialEffects Lnet/minecraft/class_4763;
FIELD field_9344 depth Ljava/lang/Float;
FIELD field_9345 category Lnet/minecraft/class_1959$class_1961;
@ -119,8 +115,6 @@ CLASS net/minecraft/class_1959 net/minecraft/world/biome/Biome
FIELD field_9353 surfaceBuilder Lnet/minecraft/class_3504;
METHOD method_24379 effects (Lnet/minecraft/class_4763;)Lnet/minecraft/class_1959$class_1960;
ARG 1 effects
METHOD method_24380 noises (Ljava/util/List;)Lnet/minecraft/class_1959$class_1960;
ARG 1 noises
METHOD method_8727 downfall (F)Lnet/minecraft/class_1959$class_1960;
ARG 1 downfall
METHOD method_8731 surfaceBuilder (Lnet/minecraft/class_3504;)Lnet/minecraft/class_1959$class_1960;

22
mappings/net/minecraft/world/biome/BiomeParticleConfig.mapping
View File

@ -1,17 +1,13 @@
CLASS net/minecraft/class_4761 net/minecraft/world/biome/BiomeParticleConfig
FIELD field_22034 type Lnet/minecraft/class_2400;
FIELD field_22034 type Lnet/minecraft/class_2394;
FIELD field_22035 chance F
FIELD field_22036 velocityXFactory Ljava/util/function/Function;
FIELD field_22037 velocityYFactory Ljava/util/function/Function;
FIELD field_22038 velocityZFactory Ljava/util/function/Function;
METHOD <init> (Lnet/minecraft/class_2400;FLjava/util/function/Function;Ljava/util/function/Function;Ljava/util/function/Function;)V
ARG 1 type
FIELD field_22036 velocityXFactory D
FIELD field_22037 velocityYFactory D
FIELD field_22038 velocityZFactory D
METHOD <init> (Lnet/minecraft/class_2394;FDDD)V
ARG 2 chance
ARG 3 xFactory
ARG 4 yFactory
ARG 5 zFactory
METHOD method_24369 getParticleType ()Lnet/minecraft/class_2400;
METHOD method_24369 getParticleType ()Lnet/minecraft/class_2394;
METHOD method_24370 shouldAddParticle (Ljava/util/Random;)Z
METHOD method_24371 generateVelocityX (Ljava/util/Random;)D
METHOD method_24372 generateVelocityY (Ljava/util/Random;)D
METHOD method_24373 generateVelocityZ (Ljava/util/Random;)D
METHOD method_24371 generateVelocityX ()D
METHOD method_24372 generateVelocityY ()D
METHOD method_24373 generateVelocityZ ()D

7
mappings/net/minecraft/world/biome/source/MultiNoiseBiomeSourceConfig.mapping
View File

@ -4,12 +4,11 @@ CLASS net/minecraft/class_4767 net/minecraft/world/biome/source/MultiNoiseBiomeS
FIELD field_22084 humidityOctaves Lcom/google/common/collect/ImmutableList;
FIELD field_22085 hillinessOctaves Lcom/google/common/collect/ImmutableList;
FIELD field_22086 styleOctaves Lcom/google/common/collect/ImmutableList;
FIELD field_22087 biomes Ljava/util/Set;
FIELD field_22087 biomes Ljava/util/Map;
METHOD <init> (J)V
ARG 1 seed
METHOD method_24403 getBiomes ()Ljava/util/Set;
METHOD method_24404 withBiomes (Ljava/util/Set;)Lnet/minecraft/class_4767;
ARG 1 biomes
METHOD method_24403 getBiomes ()Ljava/util/Map;
METHOD method_24404 withBiomes (Ljava/util/Map;)Lnet/minecraft/class_4767;
METHOD method_24405 getSeed ()J
METHOD method_24406 getTemperatureOctaves ()Lcom/google/common/collect/ImmutableList;
METHOD method_24407 getHumidityOctaves ()Lcom/google/common/collect/ImmutableList;

1
mappings/net/minecraft/world/gen/carver/CarverConfig.mapping
View File

@ -1,2 +1,3 @@
CLASS net/minecraft/class_2920 net/minecraft/world/gen/carver/CarverConfig
FIELD field_13277 DEFAULT Lnet/minecraft/class_2932;
METHOD method_16587 serialize (Lcom/mojang/datafixers/types/DynamicOps;)Lcom/mojang/datafixers/Dynamic;

2
mappings/net/minecraft/world/gen/decorator/Decorator.mapping
View File

@ -1,6 +1,6 @@
CLASS net/minecraft/class_3284 net/minecraft/world/gen/decorator/Decorator
FIELD field_14232 configDeserializer Ljava/util/function/Function;
METHOD <init> (Ljava/util/function/Function;)V
METHOD <init> (Ljava/util/function/Function;Ljava/util/function/Function;)V
ARG 1 configDeserializer
METHOD method_14450 register (Ljava/lang/String;Lnet/minecraft/class_3284;)Lnet/minecraft/class_3284;
ARG 0 registryName

2
mappings/net/minecraft/world/gen/decorator/TreeDecoratorType.mapping
View File

@ -1,2 +1,2 @@
CLASS net/minecraft/class_4663 net/minecraft/world/gen/decorator/TreeDecoratorType
METHOD method_23473 register (Ljava/lang/String;Ljava/util/function/Function;)Lnet/minecraft/class_4663;
METHOD method_23473 register (Ljava/lang/String;Ljava/util/function/Function;Ljava/util/function/Function;)Lnet/minecraft/class_4663;

2
mappings/net/minecraft/world/gen/feature/Feature.mapping
View File

@ -20,7 +20,7 @@ CLASS net/minecraft/class_3031 net/minecraft/world/gen/feature/Feature
FIELD field_16655 PILLAGER_OUTPOST Lnet/minecraft/class_3195;
FIELD field_21219 FLOWER Lnet/minecraft/class_4624;
FIELD field_22190 NETHER_FOSSIL Lnet/minecraft/class_3195;
METHOD <init> (Ljava/util/function/Function;)V
METHOD <init> (Ljava/util/function/Function;Ljava/util/function/Function;)V
ARG 1 configDeserializer
METHOD method_13148 deserializeConfig (Lcom/mojang/datafixers/Dynamic;)Lnet/minecraft/class_3037;
ARG 1 dynamic

4
mappings/net/minecraft/world/gen/foliage/FoliagePlacerType.mapping
View File

@ -1,9 +1,9 @@
CLASS net/minecraft/class_4648 net/minecraft/world/gen/foliage/FoliagePlacerType
FIELD field_21303 deserializer Ljava/util/function/Function;
METHOD <init> (Ljava/util/function/Function;)V
METHOD <init> (Ljava/util/function/Function;Ljava/util/function/Function;)V
ARG 1 deserializer
METHOD method_23453 deserialize (Lcom/mojang/datafixers/Dynamic;)Lnet/minecraft/class_4647;
ARG 1 dynamic
METHOD method_23454 register (Ljava/lang/String;Ljava/util/function/Function;)Lnet/minecraft/class_4648;
METHOD method_23454 register (Ljava/lang/String;Ljava/util/function/Function;Ljava/util/function/Function;)Lnet/minecraft/class_4648;
ARG 0 id
ARG 1 deserializer

1
mappings/net/minecraft/world/poi/PointOfInterestStorage.mapping
View File

@ -69,7 +69,6 @@ CLASS net/minecraft/class_4153 net/minecraft/world/poi/PointOfInterestStorage
ARG 3 radius
METHOD method_22439 preloadChunks (Lnet/minecraft/class_4538;Lnet/minecraft/class_2338;I)V
COMMENT Preloads chunks in a square area with the given radius. Loads the chunks with {@code ChunkStatus.EMPTY}.
ARG 1 world
ARG 2 pos
ARG 3 radius
COMMENT The radius in blocks

3
mappings/net/minecraft/world/poi/PointOfInterestType.mapping
View File

@ -25,8 +25,7 @@ CLASS net/minecraft/class_4158 net/minecraft/world/poi/PointOfInterestType
ARG 0 state
METHOD method_19518 getAllAssociatedStates ()Ljava/util/stream/Stream;
METHOD method_20354 setup (Lnet/minecraft/class_4158;)Lnet/minecraft/class_4158;
METHOD method_20356 getAllStatesOf (Lnet/minecraft/class_2248;)Ljava/util/Set;
ARG 0 block
METHOD method_20356 getAllStatesOf ([Lnet/minecraft/class_2248;)Ljava/util/Set;
METHOD method_20357 register (Ljava/lang/String;Ljava/util/Set;II)Lnet/minecraft/class_4158;
ARG 0 id
ARG 1 workStationStates