Working my way through stan errors

Author: edgrosvenor

app/Models/User.php

@@ -2,6 +2,7 @@
 
 namespace App\Models;
 
+use ArtisanBuild\Hallway\Members\Traits\HasHallwayMembership;
 use ArtisanBuild\Till\Traits\Tillable;
 use ArtisanBuild\Verbstream\Traits\HasProfilePhoto;
 use ArtisanBuild\Verbstream\Traits\HasTeams;
@@ -70,12 +71,16 @@
  * @method static Builder<static>|User whereTwoFactorSecret($value)
  * @method static Builder<static>|User whereUpdatedAt($value)
  *
+ * @property-read Collection<int, \ArtisanBuild\Hallway\Members\Models\Member> $hallway_members
+ * @property-read int|null $hallway_members_count
+ *
  * @mixin Eloquent
  */
 class User extends Authenticatable implements MustVerifyEmail
 {
     use HasApiTokens;
     use HasFactory;
+    use HasHallwayMembership;
     use HasProfilePhoto;
     use HasTeams;
     use Notifiable;

composer.lock

@@ -7,7 +7,10 @@
 use ArtisanBuild\Adverbs\States\DummyState;
 use ArtisanBuild\Adverbs\Traits\GetsRowsFromVerbsStates;
 use ArtisanBuild\Adverbs\Traits\HasVerbsState;
+use Eloquent;
+use Illuminate\Database\Eloquent\Builder;
 use Illuminate\Database\Eloquent\Model;
+use Thunk\Verbs\State;
 
 /**
  * @property string|null $name
@@ -16,26 +19,26 @@
  * @property int|null $id
  * @property string|null $last_event_id
  *
- * @method static \Illuminate\Database\Eloquent\Builder<static>|Dummy newModelQuery()
- * @method static \Illuminate\Database\Eloquent\Builder<static>|Dummy newQuery()
- * @method static \Illuminate\Database\Eloquent\Builder<static>|Dummy query()
- * @method static \Illuminate\Database\Eloquent\Builder<static>|Dummy whereDescription($value)
- * @method static \Illuminate\Database\Eloquent\Builder<static>|Dummy whereId($value)
- * @method static \Illuminate\Database\Eloquent\Builder<static>|Dummy whereLastEventId($value)
- * @method static \Illuminate\Database\Eloquent\Builder<static>|Dummy whereMetadata($value)
- * @method static \Illuminate\Database\Eloquent\Builder<static>|Dummy whereName($value)
+ * @method static Builder<static>|Dummy newModelQuery()
+ * @method static Builder<static>|Dummy newQuery()
+ * @method static Builder<static>|Dummy query()
+ * @method static Builder<static>|Dummy whereDescription($value)
+ * @method static Builder<static>|Dummy whereId($value)
+ * @method static Builder<static>|Dummy whereLastEventId($value)
+ * @method static Builder<static>|Dummy whereMetadata($value)
+ * @method static Builder<static>|Dummy whereName($value)
  *
- * @mixin \Eloquent
+ * @mixin Eloquent
  */
 class Dummy extends Model
 {
     use GetsRowsFromVerbsStates;
     use HasVerbsState;
 
-    public string $stateClass = DummyState::class;
+    public string $state_class = DummyState::class;
 
     protected function getStateClass(): string
     {
-        return \Thunk\Verbs\State::class;
+        return State::class;
     }
 }

packages/adverbs/src/Models/Dummy.php

@@ -12,7 +12,13 @@ trait HasVerbsState
     /**
      * Get the state class for this model.
      */
-    abstract protected function getStateClass(): string;
+    protected function getVerbsState(): string
+    {
+        $state = $this->state_class;
+        throw_if(! class_exists($state), 'Unknown class '.$this->verbs_state);
+
+        return $state;
+    }
 
     /**
      * @throws Throwable

packages/adverbs/src/Traits/HasVerbsState.php

@@ -22,7 +22,7 @@ class Gathering extends Model
 
     protected $appends = ['day', 'month'];
 
-    protected string $stateClass = GatheringState::class;
+    protected string $state_class = GatheringState::class;
 
     public function day(): Attribute
     {

packages/hallway-core/src/Calendar/Models/Gathering.php

@@ -16,5 +16,5 @@ class ChannelMembership extends Model
     use GetsRowsFromVerbsStates;
     use HasVerbsState;
 
-    protected string $stateClass = ChannelMembershipState::class;
+    protected string $state_class = ChannelMembershipState::class;
 }

packages/hallway-core/src/ChannelMembership/Models/ChannelMembership.php

@@ -47,7 +47,7 @@ public function handle($request, Closure $next)
     private function guest(): State
     {
         return Cache::rememberForever('guest_state', function () {
-            $id = MemberRoles::Guest->data(MemberRoles::Guest, 'id');
+            $id = MemberRoles::Guest->data('id');
             $guest = Member::find($id);
 
             if ($guest instanceof Member) {

packages/hallway-core/src/Members/Middleware/GetCurrentActiveMemberFromSession.php

@@ -98,10 +98,10 @@ public function can(Event|string $event)
             return true;
         }
 
-        if (Mirror::reflect($event)->reflection_class->hasProperty('needs_channel_permissions')) {
+        if (Mirror::driver('Ed')->reflect($event)->reflection_class->hasProperty('needs_channel_permissions')) {
 
             $channel_permission = is_string($event)
-                ? Mirror::reflect($event)->property('needs_channel_permissions')->reflection_property->getDefaultValue()
+                ? Mirror::driver('Ed')->reflect($event)->property('needs_channel_permissions')->reflection_property->getDefaultValue()
                 /** @phpstan-ignore-next-line  */
                 : $event->needs_channel_permissions;
 

packages/hallway-core/src/Members/States/MemberState.php

@@ -14,5 +14,5 @@ class Message extends Model
     use GetsRowsFromVerbsStates;
     use HasVerbsState;
 
-    protected $stateClass = MessageState::class;
+    protected string $state_class = MessageState::class;
 }

packages/hallway-core/src/Messages/Models/Message.php

@@ -14,5 +14,5 @@ class Page extends Model
     use GetsRowsFromVerbsStates;
     use HasVerbsState;
 
-    protected string $stateClass = PageState::class;
+    protected string $state_class = PageState::class;
 }