Pool constructor

Pool(
  1. String name, {
  2. PoolArgs? args,
  3. CustomResourceOptions? options,
})

Creates a new Pool. name The Pulumi resource name. args Arguments used to configure this Pool. The set of arguments for Pool. options Resource options controlling this resource's behavior.

Implementation

Pool(
  String name, {
  PoolArgs? args,
  pulumi.CustomResourceOptions? options,
}) : super(
        'pulumiservice:api/agents:Pool',
        name,
        pulumi.Input.mapToInputs(args?.toMap() ?? const {}),
        options ?? pulumi.CustomResourceOptions(),
      ) {
  agents = registerOutput<List<Map<String, dynamic>>>('agents');
  created = registerOutput<int>('created');
  description = registerOutput<String>('description');
  this.name = registerOutput<String>('name');
  poolId = registerOutput<String>('poolId');
  tokenValue = registerOutput<String?>('tokenValue');
}