StrongtalkSource/DeltaMixinDerivationNode.dlt

   1 Delta define: #DeltaMixinDerivationNode as: (\r
   2 (Class subclassOf: 'DeltaMixinNode' instanceVariables: '')) !\r
   3 \r
   4 (Delta mirrorFor: #DeltaMixinDerivationNode) revision: '$Revision: 1.3 $'!\r
   5 \r
   6 (Delta mirrorFor: #DeltaMixinDerivationNode) group: 'ast'!\r
   7 \r
   8 (Delta mirrorFor: #DeltaMixinDerivationNode)\r
   9 comment: \r
  10 'This node represents the AST for a mixin derivation.\r
  11 \r
  12  (c) 1995-1997 Sun Microsystems, Inc. ALL RIGHTS RESERVED. \r
  13 Use and distribution of this software is subject to the terms of the attached source license.'!\r
  14 \r
  15 ! (Delta mirrorFor: #DeltaMixinDerivationNode) methodsFor: 'Unclassified' !\r
  16 \r
  17 \r
  18 abstract ^ <Boolean>\r
  19     ^self klass abstract!\r
  20 \r
  21 apply: tool <DeltaASTTool>\r
  22 \r
  23 tool mixinDerivationNode: self!\r
  24 \r
  25 asMixinSide ^ <Side>\r
  26     ^self klass asMixinSide!\r
  27 \r
  28 asProtocol ^ <Protocol>\r
  29 \r
  30 ^self klass asProtocol!\r
  31 \r
  32 asSide ^ <Side>\r
  33     ^self asMixinSide asSide!\r
  34 \r
  35 basicLocator\r
  36         ^self klass basicLocator!\r
  37 \r
  38 branded ^ <Boolean>\r
  39     ^self klass branded!\r
  40 \r
  41 class: c selector: s\r
  42 \r
  43 self filter:(BasicMixinDerivationData new class: c selector: s)\r
  44          using: DeltaSubstitution new initialize.!\r
  45 \r
  46 compositeSubstitute: t <Interface> ^ <Interface>\r
  47 \r
  48 ^(self filteree compositeSubstitute: t) substitute: self substitution\r
  49 \r
  50  !\r
  51 \r
  52 dualClassType ^ <ClassType>\r
  53     ^self class new class: self klass dualClassType selector: self selector!\r
  54 \r
  55 extensionsAreSubtypes ^ <Boolean>\r
  56     ^self klass extensionsAreSubtypes!\r
  57 \r
  58 firstClassRepType  ^ <ObjectType>\r
  59 \r
  60    ^self asMixinSide firstClassRepType!\r
  61 \r
  62 heirScope ^ <Scope>\r
  63     ^self asMixinSide  heirScope !\r
  64 \r
  65 isMonotonic ^ <Boolean>\r
  66     ^self klass isMonotonic!\r
  67 \r
  68 klass\r
  69 \r
  70 ^self filteree klass substitute: self substitution!\r
  71 \r
  72 komment\r
  73 \r
  74 "This node represents the AST for a mixin derivation.\r
  75 "!\r
  76 \r
  77 localScope ^ <Scope>\r
  78     ^self asMixinSide  localScope !\r
  79 \r
  80 messages ^ <Dict[Symbol,Message]>\r
  81 \r
  82    ^self asMixinSide messages!\r
  83 \r
  84 methods ^ <Dict[Symbol,Method]>\r
  85    ^self asMixinSide methods!\r
  86 \r
  87 mixinObj ^ <Mixin>\r
  88 \r
  89 "Return the mixin I denote"\r
  90 \r
  91 self deltaHack.\r
  92 \r
  93 ^self selector = #delta\r
  94     ifTrue:[(Mirror on: self klass classObj) mixin reflectee]\r
  95     ifFalse:[(Mirror on: self klass classObj) mixin reflectee].!\r
  96 \r
  97 mixinSubstitute: t <Interface> ^ <Interface>\r
  98 \r
  99 ^self filteree mixinSubstitute: t!\r
 100 \r
 101 monotonic ^ <Boolean>\r
 102     ^self klass monotonic!\r
 103 \r
 104 name\r
 105 \r
 106 ^(self klass name, ' ', self selector) asSymbol!\r
 107 \r
 108 protocolForInvocation: i <MixinInvocationNode> ^ <Protocol>\r
 109 \r
 110 | key <Protocol> |\r
 111 \r
 112 key :=  i superclassType asProtocol canonicalRep.\r
 113 \r
 114 "If i represents an invocation that is equivalent to klass, we just\r
 115 return the protocol for klass. This can be determined by checking\r
 116 if i's superclass is the same as klass'."\r
 117 key == self klass asProtocol canonicalRep superprotocol  asProtocol canonicalRep\r
 118   ifTrue:[^self klass asProtocol canonicalRep].\r
 119 \r
 120 "Otherwise, have klass look up the protocol"\r
 121 ^self klass protocolForInvocation: i!\r
 122 \r
 123 selector  ^ <Symbol>\r
 124 \r
 125 ^self filteree selector!\r
 126 \r
 127 subtype ^ <Boolean>\r
 128     ^self klass subtype!\r
 129 \r
 130 superclassType ^ <ClassType>\r
 131     ^self asMixinSide superclassType!\r
 132 \r
 133 supportedProtocol ^ <Protocol>\r
 134     ^self asMixinSide supportedProtocol!\r
 135 \r
 136 untypedName\r
 137 \r
 138 ^self klass untypedName!\r
 139 \r
 140 varDecls ^ <Dict[Symbol,VarDecl]>\r
 141      ^self asMixinSide varDecls!\r
 142 \r
 143 wellFormed ^ <Boolean>\r
 144 \r
 145 | wf <Boolean> |\r
 146 \r
 147 "should test  if klass is a class"\r
 148 \r
 149 wf := self klass wellFormed.\r
 150 \r
 151 ^wf.! !\r
 152 \r