AspectSharp/AspectSharp.Lang/Steps/Semantic/SemanticAnalizerStep.cs

   1 // Copyright 2004-2007 Castle Project - http://www.castleproject.org/
   2 //
   3 // Licensed under the Apache License, Version 2.0 (the "License");
   4 // you may not use this file except in compliance with the License.
   5 // You may obtain a copy of the License at
   6 //
   7 //     http://www.apache.org/licenses/LICENSE-2.0
   8 //
   9 // Unless required by applicable law or agreed to in writing, software
  10 // distributed under the License is distributed on an "AS IS" BASIS,
  11 // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
  12 // See the License for the specific language governing permissions and
  13 // limitations under the License.
  14
  15 namespace AspectSharp.Lang.Steps.Semantic
  16 {
  17         using System;
  18         using System.Collections;
  19
  20         using AspectSharp.Lang.AST;
  21
  22         /// <summary>
  23         /// Summary description for SemanticAnalizerStep.
  24         /// </summary>
  25         public class SemanticAnalizerStep : SemanticAnalizerBase
  26         {
  27                 private IDictionary _aspectNames = new Hashtable();
  28                 private IDictionary _globalMixins;
  29                 private IDictionary _globalInterceptors;
  30
  31                 public override void Process(Context context, EngineConfiguration conf)
  32                 {
  33                         base.Init(context);
  34
  35                         CheckImports(conf.Imports);
  36                         CheckGlobals(conf);
  37                         CheckAspects(conf.Aspects);
  38
  39                         if (!context.HasErrors)
  40                         {
  41                                 base.Process(context, conf);
  42                         }
  43                 }
  44
  45                 private void CheckGlobals(EngineConfiguration conf)
  46                 {
  47                         CheckMixins(conf.Mixins.ToDictionary());
  48                         CheckInterceptors(conf.Interceptors.ToDictionary());
  49                 }
  50
  51                 private void CheckMixins(IDictionary types)
  52                 {
  53                         AssertEntriesAreValid(types);
  54                         _globalMixins = types;
  55                 }
  56
  57                 private void CheckInterceptors(IDictionary types)
  58                 {
  59                         AssertEntriesAreValid(types);
  60                         _globalInterceptors = types;
  61                 }
  62
  63                 private void CheckAspects(AspectDefinitionCollection aspects)
  64                 {
  65                         foreach(AspectDefinition aspect in aspects)
  66                         {
  67                                 AssertUnique( _aspectNames, aspect, aspect.Name, "The name given to an aspect must be unique" );
  68                                 AssertNotNull( aspect, aspect.TargetType, "Aspect must have a target type" );
  69                                 CheckIncludes( aspect.Mixins );
  70                                 CheckPointcuts( aspect.PointCuts );
  71                         }
  72                 }
  73
  74                 private void CheckPointcuts(PointCutDefinitionCollection cuts)
  75                 {
  76                         IDictionary pointcutsDefined = new Hashtable();
  77
  78                         foreach( PointCutDefinition pointcut in cuts )
  79                         {
  80                                 AssertUnique( pointcutsDefined, pointcut, pointcut, "Duplicated pointcut definition found" );
  81
  82                                 if (pointcut.Flags == (PointCutFlags.Property | PointCutFlags.PropertyRead) ||
  83                                         pointcut.Flags == (PointCutFlags.Property | PointCutFlags.PropertyWrite))
  84                                 {
  85                                         RaiseErrorEvent(pointcut.LexicalInfo, "Meaningless declaration. A pointcut to a property can't be combined with property read or write. This is implied");
  86                                 }
  87
  88                                 CheckAdvices(pointcut.Advices);
  89                         }
  90                 }
  91
  92                 private void CheckAdvices(InterceptorDefinitionCollection advices)
  93                 {
  94                         IDictionary advicesDefined = new Hashtable();
  95
  96                         foreach(InterceptorDefinition advice in advices)
  97                         {
  98                                 if (advice.TypeReference.TargetType == TargetTypeEnum.Link)
  99                                 {
 100                                         AssertKeyExists( _globalInterceptors, advice, advice.TypeReference.LinkRef, "The referenced interceptor is not declared in the global interceptor section" );
 101                                 }
 102
 103                                 AssertUnique( advicesDefined, advice, advice.TypeReference.ToString(), "Duplicated advices found" );
 104                         }
 105                 }
 106
 107                 private void CheckIncludes( MixinDefinitionCollection includes )
 108                 {
 109                         IDictionary names = new Hashtable();
 110
 111                         foreach( MixinDefinition type in includes )
 112                         {
 113                                 AssertNotNull( type, type.TypeReference.ToString(), "Type name must be specified as as 'Typename in AssemblyName' or as a reference to a global type declared" );
 114
 115                                 if (type.TypeReference.TargetType == TargetTypeEnum.Link)
 116                                 {
 117                                         AssertKeyExists( _globalMixins, type, type.TypeReference.LinkRef, "The referenced mixin is not declared in the global mixins section" );
 118                                 }
 119
 120                                 AssertUnique( names, type, type.TypeReference.ToString(), "You shouldn't include the same mixin more than one time" );
 121                         }
 122                 }
 123
 124                 private void CheckImports(ImportDirectiveCollection imports)
 125                 {
 126                         // Nothing to do .. yet
 127                 }
 128         }
 129 }