source/astclass.h

   1 /* This file is part of Shapes.
   2  *
   3  * Shapes is free software: you can redistribute it and/or modify
   4  * it under the terms of the GNU General Public License as published by
   5  * the Free Software Foundation, either version 3 of the License, or
   6  * any later version.
   7  *
   8  * Shapes is distributed in the hope that it will be useful,
   9  * but WITHOUT ANY WARRANTY; without even the implied warranty of
  10  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  11  * GNU General Public License for more details.
  12  *
  13  * You should have received a copy of the GNU General Public License
  14  * along with Shapes.  If not, see <http://www.gnu.org/licenses/>.
  15  *
  16  * Copyright 2008 Henrik Tidefelt
  17  */
  18
  19 #pragma once
  20
  21 #include "ast.h"
  22 #include "astfun.h"
  23 #include "consts.h"
  24 #include "ptrowner.h"
  25 #include "classtypes.h"
  26 #include "charptrless.h"
  27
  28 namespace Shapes
  29 {
  30         namespace Ast
  31         {
  32                 class MemberDeclaration
  33                 {
  34                 public:
  35                         Ast::SourceLocation loc_;
  36                         const char * id_;
  37                         Ast::Expression * init_;
  38                         Ast::MemberMode mode_;
  39                         MemberDeclaration( const Ast::SourceLocation & loc, const char * id, Ast::Expression * init, const Ast::MemberMode & mode );
  40                         ~MemberDeclaration( );
  41                         void addModeBits( const Ast::MemberMode & bits );
  42                         void checkModeConsistency( );
  43                 };
  44
  45                 class ClassSection
  46                 {
  47                 public:
  48                         ClassSection( );
  49                         virtual ~ClassSection( );
  50                 };
  51
  52                 class MemberSection : public ClassSection, public std::list< Ast::MemberDeclaration * >
  53                 {
  54                 public:
  55                         MemberSection( );
  56                         virtual ~MemberSection( );
  57                         void addModeBits( const Ast::MemberMode & bits );
  58                 };
  59
  60                 class PrepareSection : public ClassSection
  61                 {
  62                         Ast::SourceLocation loc_;
  63                 public:
  64                         std::list< Ast::Node * > * nodes_;
  65                         PrepareSection( const Ast::SourceLocation & loc, std::list< Ast::Node * > * nodes );
  66                         virtual ~PrepareSection( );
  67                 };
  68
  69                 class AbstractSection : public ClassSection
  70                 {
  71                 public:
  72                         Ast::SourceLocation loc_;
  73                         const std::list< RefCountPtr< const char > > * methods_;
  74                         AbstractSection( const Ast::SourceLocation & loc, const std::list< RefCountPtr< const char > > * methods );
  75                         virtual ~AbstractSection( );
  76                 };
  77
  78                 class OverridesSection : public ClassSection
  79                 {
  80                 public:
  81                         Ast::Expression * super_;
  82                         Ast::MemberSection * members_;
  83                         OverridesSection( Ast::Expression * super, Ast::MemberSection * members );
  84                         virtual ~OverridesSection( );
  85                 };
  86
  87                 class ClassFunction : public Lang::Function
  88                 {
  89                         Ast::SourceLocation loc_;
  90                         Ast::Expression * name_;
  91                         const Kernel::Formals * constructorFormals_;
  92                         std::list< const Ast::CallExpr * > * parentsWithInitArgs_;
  93                         PtrOwner_back_Access< std::list< Ast::Node * > > preparations_;
  94                         PtrOwner_back_Access< std::list< Ast::MemberDeclaration * > > members_;
  95                         PtrOwner_back_Access< std::list< Ast::OverridesSection * > > overrides_;
  96                         typedef std::set< const char *, charPtrLess > FieldSetType;
  97                         FieldSetType publicGetSet_;
  98                         FieldSetType publicSetSet_;
  99                         FieldSetType protectedGetSet_;
 100                         FieldSetType protectedSetSet_;
 101                         FieldSetType abstractSet_;
 102                         FieldSetType finalSet_;
 103                         FieldSetType transformingSet_;
 104                         bool isAbstract_;
 105                         bool isFinal_;
 106                 public:
 107                         ClassFunction( const Ast::SourceLocation & loc, Ast::Expression * name, const Kernel::Formals * constructorFormals, std::list< const Ast::CallExpr * > * parentsWithInitArgs, Ast::MemberMode classMode, std::list< Ast::ClassSection * > * sections );
 108                         virtual ~ClassFunction( );
 109
 110                         void push_exprs( Ast::ArgListExprs * args ) const;
 111
 112                         virtual void call( Kernel::EvalState * evalState, Kernel::Arguments & args, const Ast::SourceLocation & callLoc ) const;
 113
 114                         bool isInPublicGetSet( const char * field ) const;
 115                         bool isInPublicSetSet( const char * field ) const;
 116                         bool isInProtectedGetSet( const char * field ) const;
 117                         bool isInProtectedSetSet( const char * field ) const;
 118                         bool isInAbstractSet( const char * field ) const;
 119                         bool isInFinalSet( const char * field ) const;
 120                         bool isInTransformingSet( const char * field ) const;
 121
 122                         Lang::Class::MessageMapType getLocalMessageMap( RefCountPtr< const Lang::Class > _myClass ) const;
 123
 124                         bool isRepeatableBase( ) const;
 125                         //              void bindInitializationArguments( RefCountPtr< const Lang::Class > theClass, Kernel::PassedEnv initEnv, Kernel::Arguments & args ) const;
 126                         void setupInstance( Kernel::PassedEnv instanceEnv, Kernel::PassedEnv privateEnv, Kernel::EvalState * evalState, Kernel::PassedEnv initEnv ) const;
 127                         void prepareInstance( Kernel::EvalState * evalState, Kernel::PassedEnv privateEnv ) const;
 128
 129                         const Ast::SourceLocation & loc( ) const;
 130
 131                         virtual void gcMark( Kernel::GCMarkedSet & marked ){ };
 132                         virtual bool isTransforming( ) const { return false; }
 133                 };
 134
 135                 class MethodIdExpr
 136                 {
 137                         Ast::SourceLocation loc_;
 138                 public:
 139                         Ast::Expression * classPart_;
 140                         const char * name_;
 141                         MethodIdExpr( const Ast::SourceLocation & loc, Ast::Expression * classPart, const char * name );
 142                         ~MethodIdExpr( );
 143                 };
 144
 145                 class PublicMethodReferenceFunction : public Lang::Function
 146                 {
 147                         Ast::SourceLocation loc_;
 148                         Ast::Expression * obj_;
 149                         Ast::Expression * methodClass_;
 150                         const char * methodName_;
 151                 public:
 152                         PublicMethodReferenceFunction( const Ast::SourceLocation & loc, Ast::Expression * obj, MethodIdExpr * methodId );
 153                         ~PublicMethodReferenceFunction( );
 154                         void push_exprs( Ast::ArgListExprs * args ) const;
 155                         virtual void call( Kernel::EvalState * evalState, Kernel::Arguments & args, const Ast::SourceLocation & callLoc ) const;
 156                         virtual void gcMark( Kernel::GCMarkedSet & marked ){ };
 157                         virtual bool isTransforming( ) const { return false; }
 158                 };
 159
 160                 class ProtectedMethodReferenceFunction : public Lang::Function
 161                 {
 162                         Ast::SourceLocation loc_;
 163                         Ast::SourceLocation selfLoc_;
 164                         Ast::Expression * parent_;
 165                         Ast::Expression * methodClass_;
 166                         const char * methodName_;
 167                         mutable Kernel::Environment::LexicalKey ** idKey_;
 168                 public:
 169                         ProtectedMethodReferenceFunction( const Ast::SourceLocation & loc, const Ast::SourceLocation & selfLoc, Ast::Expression * parent, Ast::MethodIdExpr * methodId );
 170                         ~ProtectedMethodReferenceFunction( );
 171                         void push_exprs( Ast::ArgListExprs * args ) const;
 172                         virtual void analyze_impl( Ast::Node * parent, Ast::AnalysisEnvironment * env, Ast::StateIDSet * freeStatesDst );
 173                         virtual void call( Kernel::EvalState * evalState, Kernel::Arguments & args, const Ast::SourceLocation & callLoc ) const;
 174                         virtual void gcMark( Kernel::GCMarkedSet & marked ){ };
 175                         virtual bool isTransforming( ) const { return false; }
 176                 };
 177
 178                 class ProtectedMemberReferenceFunction : public Lang::Function
 179                 {
 180                         Ast::SourceLocation loc_;
 181                         Ast::SourceLocation selfLoc_;
 182                         Ast::Expression * parent_;
 183                         Ast::SourceLocation idLoc_;
 184                         const char * id_;
 185                         mutable Kernel::Environment::LexicalKey ** idKey_;
 186                 public:
 187                         ProtectedMemberReferenceFunction( const Ast::SourceLocation & loc, const Ast::SourceLocation & selfLoc, Ast::Expression * parent, const Ast::SourceLocation & idloc, const char * id );
 188                         ~ProtectedMemberReferenceFunction( );
 189                         void push_exprs( Ast::ArgListExprs * args ) const;
 190                         virtual void analyze_impl( Ast::Node * parent, Ast::AnalysisEnvironment * env, Ast::StateIDSet * freeStatesDst );
 191                         virtual void call( Kernel::EvalState * evalState, Kernel::Arguments & args, const Ast::SourceLocation & callLoc ) const;
 192                         virtual void gcMark( Kernel::GCMarkedSet & marked ){ };
 193                         virtual bool isTransforming( ) const { return false; }
 194                 };
 195
 196                 class ProtectedMemberInsertionFunction : public Lang::Function
 197                 {
 198                         Ast::SourceLocation loc_;
 199                         Ast::SourceLocation selfLoc_;
 200                         Ast::Expression * parent_;
 201                         Ast::SourceLocation idLoc_;
 202                         const char * id_;
 203                         Ast::Expression * pieceExpr_;
 204                         mutable Kernel::Environment::LexicalKey ** idKey_;
 205                 public:
 206                         ProtectedMemberInsertionFunction( const Ast::SourceLocation & loc, const Ast::SourceLocation & selfLoc, Ast::Expression * parent, const Ast::SourceLocation & idloc, const char * id, Ast::Expression * pieceExpr );
 207                         ~ProtectedMemberInsertionFunction( );
 208                         void push_exprs( Ast::ArgListExprs * args ) const;
 209                         virtual void analyze_impl( Ast::Node * parent, Ast::AnalysisEnvironment * env, Ast::StateIDSet * freeStatesDst );
 210                         virtual void call( Kernel::EvalState * evalState, Kernel::Arguments & args, const Ast::SourceLocation & callLoc ) const;
 211                         virtual void gcMark( Kernel::GCMarkedSet & marked ){ };
 212                         virtual bool isTransforming( ) const { return false; }
 213                 };
 214
 215         }
 216 }