FAST-Python/src/FAST-Python-Model/FASTPyConstrainedType.class.st at fdd9727d2fc80bc0236b3bb3af0118017e919de9 · moosetechnology/FAST-Python · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
"
I represent the concretization of a generic type in a given context. For example: `def f[T: int](): pass`, we are here constraining `T` to be an `int` or a subclass of `int`

## Relations
======================

### Parents
| Relation | Origin | Opposite | Type | Comment |
|---|
| `parentType` | `FASTPyTTypeContent` | `content` | `FASTPyType` | |

### Children
| Relation | Origin | Opposite | Type | Comment |
|---|
| `bound` | `FASTPyConstrainedType` | `parentContrainedTypeBound` | `FASTPyType` | |
| `type` | `FASTPyConstrainedType` | `parentContrainedType` | `FASTPyType` | |


"
Class {
	#name : 'FASTPyConstrainedType',
	#superclass : 'FASTPyEntity',
	#traits : 'FASTPyTTypeContent',
	#classTraits : 'FASTPyTTypeContent classTrait',
	#instVars : [
		'#bound => FMOne type: #FASTPyType opposite: #parentContrainedTypeBound',
		'#type => FMOne type: #FASTPyType opposite: #parentContrainedType'
	],
	#category : 'FAST-Python-Model-Entities',
	#package : 'FAST-Python-Model',
	#tag : 'Entities'
}

{ #category : 'meta' }
FASTPyConstrainedType class >> annotation [

	<FMClass: #ConstrainedType super: #FASTPyEntity>
	<package: #'FAST-Python-Model'>
	<generated>
	^ self
]

{ #category : 'accessing' }
FASTPyConstrainedType >> bound [
	"Relation named: #bound type: #FASTPyType opposite: #parentContrainedTypeBound"

	<generated>
	^ bound
]

{ #category : 'accessing' }
FASTPyConstrainedType >> bound: anObject [

	<generated>
	bound := anObject
]

{ #category : 'accessing' }
FASTPyConstrainedType >> type [
	"Relation named: #type type: #FASTPyType opposite: #parentContrainedType"

	<generated>
	^ type
]

{ #category : 'accessing' }
FASTPyConstrainedType >> type: anObject [

	<generated>
	type := anObject
]