KiCad PCB EDA Suite
Loading...
Searching...
No Matches
property_mgr.cpp
Go to the documentation of this file.
1/*
2 * This program source code file is part of KiCad, a free EDA CAD application.
3 *
4 * Copyright (C) 2020 CERN
5 * Copyright The KiCad Developers, see AUTHORS.txt for contributors.
6 * @author Tomasz Wlostowski <[email protected]>
7 * @author Maciej Suminski <[email protected]>
8 *
9 * This program is free software; you can redistribute it and/or
10 * modify it under the terms of the GNU General Public License
11 * as published by the Free Software Foundation; either version 3
12 * of the License, or (at your option) any later version.
13 *
14 * This program is distributed in the hope that it will be useful,
15 * but WITHOUT ANY WARRANTY; without even the implied warranty of
16 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
17 * GNU General Public License for more details.
18 *
19 * You should have received a copy of the GNU General Public License
20 * along with this program. If not, see <https://www.gnu.org/licenses/>.
21 */
22
23#include <inspectable.h>
25#include <properties/property.h>
26
27#include <algorithm>
28#include <ranges>
29#include <utility>
30#include <wx/wx.h>
31
32
33// Global to prevent simultaneous multi-threaded static initialization
34static const std::vector<PROPERTY_BASE*> EMPTY_PROP_LIST;
35static const std::map<PROPERTY_BASE*, int> EMPTY_PROP_DISPLAY_ORDER;
36std::vector<wxString> EMPTY_GROUP_DISPLAY_ORDER;
37
38
39PROPERTY_MANAGER::~PROPERTY_MANAGER() noexcept = default;
40
41
42void PROPERTY_MANAGER::RegisterType( TYPE_ID aType, const wxString& aName )
43{
44 wxASSERT( m_classNames.count( aType ) == 0 );
45 m_classNames.emplace( aType, aName );
46}
47
48
49PROPERTY_BASE* PROPERTY_MANAGER::GetProperty( TYPE_ID aType, const wxString& aProperty ) const
50{
51 if( m_dirty )
52 const_cast<PROPERTY_MANAGER*>( this )->Rebuild();
53
54 auto it = m_classes.find( aType );
55
56 if( it == m_classes.end() )
57 return nullptr;
58
59 const CLASS_DESC& classDesc = it->second;
60
61 for( PROPERTY_BASE* property : classDesc.m_allProperties )
62 {
63 if( !aProperty.CmpNoCase( property->Name() ) )
64 return property;
65 }
66
67 return nullptr;
68}
69
70
71PROPERTY_BASE* PROPERTY_MANAGER::GetProperty( const INSPECTABLE* aObject, const wxString& aProperty ) const
72{
73 if( PROPERTY_BASE* prop = GetProperty( TYPE_HASH( *aObject ), aProperty ) )
74 return prop;
75
76 for( PROPERTY_BASE* dynamicProp : aObject->GetDynamicProperties() )
77 {
78 if( !aProperty.CmpNoCase( dynamicProp->Name() ) )
79 return dynamicProp;
80 }
81
82 return nullptr;
83}
84
85
86const std::vector<PROPERTY_BASE*>& PROPERTY_MANAGER::GetProperties( TYPE_ID aType ) const
87{
88 if( m_dirty )
89 const_cast<PROPERTY_MANAGER*>( this )->Rebuild();
90
91 auto it = m_classes.find( aType );
92
93 if( it == m_classes.end() )
94 return EMPTY_PROP_LIST;
95
96 return it->second.m_allProperties;
97}
98
99
100std::vector<PROPERTY_BASE*> PROPERTY_MANAGER::GetProperties( const INSPECTABLE* aObject ) const
101{
102 std::vector<PROPERTY_BASE*> result = GetProperties( TYPE_HASH( *aObject ) );
103
104 for( PROPERTY_BASE* prop : aObject->GetDynamicProperties() )
105 result.push_back( prop );
106
107 return result;
108}
109
110
111const std::map<PROPERTY_BASE*, int>& PROPERTY_MANAGER::GetDisplayOrder( TYPE_ID aType ) const
112{
113 if( m_dirty )
114 const_cast<PROPERTY_MANAGER*>( this )->Rebuild();
115
116 auto it = m_classes.find( aType );
117
118 if( it == m_classes.end() )
120
121 return it->second.m_displayOrder;
122}
123
124
125const std::vector<wxString>& PROPERTY_MANAGER::GetGroupDisplayOrder( TYPE_ID aType ) const
126{
127 if( m_dirty )
128 const_cast<PROPERTY_MANAGER*>( this )->Rebuild();
129
130 auto it = m_classes.find( aType );
131
132 if( it == m_classes.end() )
134
135 return it->second.m_groupDisplayOrder;
136}
137
138
139const void* PROPERTY_MANAGER::TypeCast( const void* aSource, TYPE_ID aBase, TYPE_ID aTarget ) const
140{
141 if( aBase == aTarget )
142 return aSource;
143
144 auto classDesc = m_classes.find( aBase );
145
146 if( classDesc == m_classes.end() )
147 return aSource;
148
149 const std::map<TYPE_ID, std::unique_ptr<TYPE_CAST_BASE>>& converters = classDesc->second.m_typeCasts;
150 auto converter = converters.find( aTarget );
151
152 if( converter == converters.end() ) // explicit type cast not found
153 return IsOfType( aBase, aTarget ) ? aSource : nullptr;
154
155 return (*converter->second)( aSource );
156}
157
158
159PROPERTY_BASE& PROPERTY_MANAGER::AddProperty( PROPERTY_BASE* aProperty, const wxString& aGroup )
160{
161 const wxString& name = aProperty->Name();
162 TYPE_ID hash = aProperty->OwnerHash();
163 CLASS_DESC& classDesc = getClass( hash );
164
165 auto [it, inserted] = classDesc.m_ownProperties.try_emplace( name, aProperty );
166
167 if( !inserted )
168 {
169 // Property with this name already exists; delete the duplicate and return the existing one.
170 delete aProperty;
171 return *it->second;
172 }
173
174 classDesc.m_ownDisplayOrder.emplace_back( aProperty );
175
176 aProperty->SetGroup( aGroup );
177
178 if( !classDesc.m_groups.count( aGroup ) )
179 {
180 classDesc.m_groupDisplayOrder.emplace_back( aGroup );
181 classDesc.m_groups.insert( aGroup );
182 }
183
184 m_dirty = true;
185 return *aProperty;
186}
187
188
189PROPERTY_BASE& PROPERTY_MANAGER::ReplaceProperty( size_t aBase, const wxString& aName, PROPERTY_BASE* aNew,
190 const wxString& aGroup )
191{
192 CLASS_DESC& classDesc = getClass( aNew->OwnerHash() );
193 classDesc.m_replaced.insert( std::make_pair( aBase, aName ) );
194 return AddProperty( aNew, aGroup );
195}
196
197
199{
200 TYPE_ID derivedHash = aCast->DerivedHash();
201 CLASS_DESC& classDesc = getClass( aCast->BaseHash() );
202
203 wxASSERT_MSG( classDesc.m_typeCasts.count( derivedHash ) == 0, wxT( "Such converter already exists" ) );
204 classDesc.m_typeCasts.emplace( derivedHash, aCast );
205}
206
207
209{
210 wxASSERT_MSG( aDerived != aBase, wxT( "Class cannot inherit from itself" ) );
211
212 CLASS_DESC& derived = getClass( aDerived );
213 derived.m_bases.push_back( getClass( aBase ) );
214 m_dirty = true;
215
216 wxASSERT_MSG( derived.m_bases.size() == 1 || derived.m_typeCasts.count( aBase ) == 1,
217 wxT( "You need to add a TYPE_CAST for classes inheriting from multiple bases" ) );
218}
219
220
221void PROPERTY_MANAGER::Mask( TYPE_ID aDerived, TYPE_ID aBase, const wxString& aName )
222{
223 wxASSERT_MSG( aDerived != aBase, wxT( "Class cannot mask from itself" ) );
224
225 CLASS_DESC& derived = getClass( aDerived );
226 derived.m_maskedBaseProperties.insert( std::make_pair( aBase, aName ) );
227 m_dirty = true;
228}
229
230
231void PROPERTY_MANAGER::OverrideAvailability( TYPE_ID aDerived, TYPE_ID aBase, const wxString& aName,
232 std::function<bool( INSPECTABLE* )> aFunc )
233{
234 wxASSERT_MSG( aDerived != aBase, wxT( "Class cannot override from itself" ) );
235
236 CLASS_DESC& derived = getClass( aDerived );
237 derived.m_availabilityOverrides[std::make_pair( aBase, aName )] = std::move( aFunc );
238 m_dirty = true;
239}
240
241
242void PROPERTY_MANAGER::OverrideWriteability( TYPE_ID aDerived, TYPE_ID aBase, const wxString& aName,
243 std::function<bool( INSPECTABLE* )> aFunc )
244{
245 wxASSERT_MSG( aDerived != aBase, wxT( "Class cannot override from itself" ) );
246
247 CLASS_DESC& derived = getClass( aDerived );
248 derived.m_writeabilityOverrides[std::make_pair( aBase, aName )] = std::move( aFunc );
249 m_dirty = true;
250}
251
252
254{
255 if( !aProp->Available( aItem ) )
256 return false;
257
258 CLASS_DESC& derived = getClass( aItemClass );
259
260 auto it = derived.m_availabilityOverrides.find( std::make_pair( aProp->BaseHash(), aProp->Name() ) );
261
262 if( it != derived.m_availabilityOverrides.end() )
263 return it->second( aItem );
264
265 return true;
266}
267
268
270{
271 if( !aProp->Writeable( aItem ) )
272 return false;
273
274 CLASS_DESC& derived = getClass( aItemClass );
275
276 auto it = derived.m_writeabilityOverrides.find( std::make_pair( aProp->BaseHash(), aProp->Name() ) );
277
278 if( it != derived.m_writeabilityOverrides.end() )
279 return it->second( aItem );
280
281 return true;
282}
283
284
285bool PROPERTY_MANAGER::IsOfType( TYPE_ID aDerived, TYPE_ID aBase ) const
286{
287 if( aDerived == aBase )
288 return true;
289
290 auto derived = m_classes.find( aDerived );
291 wxCHECK( derived != m_classes.end(), false ); // missing class description
292
293 // traverse the hierarchy seeking for the base class
294 for( const std::reference_wrapper<CLASS_DESC>& base : derived->second.m_bases )
295 {
296 if( IsOfType( base.get().m_id, aBase ) )
297 return true;
298 }
299
300 return false;
301}
302
303
305{
306 for( std::pair<const TYPE_ID, CLASS_DESC>& classEntry : m_classes )
307 classEntry.second.rebuild();
308
309 m_dirty = false;
310}
311
312
314{
315 auto it = m_classes.find( aTypeId );
316
317 if( it == m_classes.end() )
318 tie( it, std::ignore ) = m_classes.emplace( aTypeId, CLASS_DESC( aTypeId ) );
319
320 return it->second;
321}
322
323
325 m_id( aId )
326{
327 m_groupDisplayOrder.emplace_back( wxEmptyString );
328 m_groups.insert( wxEmptyString );
329}
330
331
333PROPERTY_MANAGER::CLASS_DESC::CLASS_DESC( CLASS_DESC&& ) noexcept = default;
334
335
337{
338 std::set<std::pair<size_t, wxString>> replaced;
339 std::set<std::pair<size_t, wxString>> masked;
340 m_allProperties.clear();
341 m_displayOrder.clear();
343
344 // We need to keep properties sorted to be able to use std::set_* functions
345 sort( m_allProperties.begin(), m_allProperties.end() );
346
347 std::vector<wxString> displayOrder;
348 std::set<wxString> groups;
349
350 auto collectGroups =
351 [&]( std::set<wxString>& aSet, std::vector<wxString>& aResult )
352 {
353 auto collectGroupsRecursive =
354 []( auto& aSelf, std::set<wxString>& aSetR, std::vector<wxString>& aResultR,
355 const CLASS_DESC& aClassR ) -> void
356 {
357 for( const wxString& group : aClassR.m_groupDisplayOrder )
358 {
359 if( !aSetR.count( group ) )
360 {
361 aSetR.insert( group );
362 aResultR.emplace_back( group );
363 }
364 }
365
366 for( const CLASS_DESC& base : aClassR.m_bases )
367 aSelf( aSelf, aSetR, aResultR, base );
368 };
369
370 collectGroupsRecursive( collectGroupsRecursive, aSet, aResult, *this );
371 };
372
373 // TODO(JE): This currently relies on rebuild() happening after all properties are added
374 // separate out own groups vs. all groups to fix
375 collectGroups( groups, displayOrder );
376 m_groupDisplayOrder = std::move( displayOrder );
377}
378
379
380void PROPERTY_MANAGER::CLASS_DESC::collectPropsRecur( std::vector<PROPERTY_BASE*>& aResult,
381 std::set<std::pair<size_t, wxString>>& aReplaced,
382 std::map<PROPERTY_BASE*, int>& aDisplayOrder,
383 std::set<std::pair<size_t, wxString>>& aMasked ) const
384{
385 for( const std::pair<size_t, wxString>& replacedEntry : m_replaced )
386 aReplaced.emplace( replacedEntry );
387
388 for( const std::pair<size_t, wxString>& maskedEntry : m_maskedBaseProperties )
389 aMasked.emplace( maskedEntry );
390
391 /*
392 * We want to insert our own properties in forward order, but earlier than anything already in
393 * the list (which will have been added by a subclass of us)
394 */
395 int displayOrderStart = 0;
396
397 if( !aDisplayOrder.empty() )
398 {
399 int firstSoFar = std::min_element( aDisplayOrder.begin(), aDisplayOrder.end(),
400 []( const std::pair<PROPERTY_BASE*, int>& aFirst,
401 const std::pair<PROPERTY_BASE*, int>& aSecond )
402 {
403 return aFirst.second < aSecond.second;
404 } )->second;
405
406 displayOrderStart = firstSoFar - m_ownProperties.size();
407 }
408
409 int idx = 0;
410
411 for( PROPERTY_BASE* property : m_ownDisplayOrder )
412 {
413 std::set<std::pair<size_t, wxString>>::key_type propertyKey = std::make_pair( property->OwnerHash(),
414 property->Name() );
415 // Do not store replaced properties
416 if( aReplaced.count( propertyKey ) )
417 continue;
418
419 // Do not store masked properties
420 if( aMasked.count( propertyKey ) )
421 continue;
422
423 aDisplayOrder[property] = displayOrderStart + idx++;
424 aResult.push_back( property );
425 }
426
427 // Iterate backwards so that replaced properties appear before base properties
428 for( std::reference_wrapper<CLASS_DESC> base : std::ranges::reverse_view( m_bases ) )
429 base.get().collectPropsRecur( aResult, aReplaced, aDisplayOrder, aMasked );
430}
431
432
434{
435 CLASSES_INFO rv;
436
437 for( std::pair<const TYPE_ID, CLASS_DESC>& classEntry : m_classes )
438 {
440
441 info.type = classEntry.first;
442 info.name = m_classNames[classEntry.first];
443
444 for( PROPERTY_BASE* prop : classEntry.second.m_allProperties )
445 info.properties.push_back( prop );
446
447 rv.push_back( info );
448 }
449
450 return rv;
451}
452
453
455{
456 auto callListeners =
457 [&]( TYPE_ID typeId )
458 {
459 auto listeners = m_listeners.find( typeId );
460
461 if( listeners != m_listeners.end() )
462 {
463 for( const auto& [ handle, listener ] : listeners->second )
464 listener( aObject, aProperty, m_managedCommit );
465 }
466 };
467
468 CLASS_DESC& objectClass = getClass( TYPE_HASH( *aObject ) );
469
470 callListeners( objectClass.m_id );
471
472 for( CLASS_DESC& superClass : objectClass.m_bases )
473 callListeners( superClass.m_id );
474}
475
476
478{
479 wxCHECK2_MSG( PROPERTY_MANAGER::Instance().m_managedCommit == nullptr,
480 return, wxT( "Can't have more than one managed commit at a time!" ) );
481
483}
484
485
487{
488 wxASSERT_MSG( PROPERTY_MANAGER::Instance().m_managedCommit != nullptr,
489 wxT( "Something went wrong: m_managedCommit already null!" ) );
490
492}
493
494
497{
499 m_listeners[aType].emplace_back( handle, std::move( aListenerFunc ) );
500 return { aType, handle };
501}
502
503
505{
506 auto it = m_listeners.find( aType );
507
508 if( it == m_listeners.end() )
509 return;
510
511 auto& vec = it->second;
512 vec.erase( std::remove_if( vec.begin(), vec.end(),
513 [aHandle]( const auto& aPair )
514 { return aPair.first == aHandle; } ),
515 vec.end() );
516}
517
518
523
524
527{
528 if( this != &aOther )
529 {
530 reset();
531 m_type = aOther.m_type;
532 m_handle = aOther.m_handle;
533 aOther.m_handle = 0;
534 }
535
536 return *this;
537}
538
539
const char * name
Represent a set of changes (additions, deletions or modifications) of a data model (e....
Definition commit.h:68
Class that other classes need to inherit from, in order to be inspectable.
Definition inspectable.h:39
virtual std::vector< PROPERTY_BASE * > GetDynamicProperties() const
Return dynamically-computed properties specific to this object instance (e.g.
Definition inspectable.h:53
PROPERTY_BASE & SetGroup(const wxString &aGroup)
Definition property.h:366
virtual size_t BaseHash() const =0
Return type-id of the Base class.
virtual bool Writeable(INSPECTABLE *aObject) const
Definition property.h:288
bool Available(INSPECTABLE *aObject) const
Return true if aObject offers this PROPERTY.
Definition property.h:255
const wxString & Name() const
Definition property.h:221
virtual size_t OwnerHash() const =0
Return type-id of the Owner class.
PROPERTY_COMMIT_HANDLER(COMMIT *aCommit)
Move-only RAII wrapper around a single listener registration.
PROPERTY_LISTENER_HANDLE m_handle
PROPERTY_LISTENER_SUBSCRIPTION & operator=(const PROPERTY_LISTENER_SUBSCRIPTION &)=delete
const std::vector< PROPERTY_BASE * > & GetProperties(TYPE_ID aType) const
Return all properties for a specific type.
bool m_dirty
Flag indicating that the list of properties needs to be rebuild (RebuildProperties())
CLASSES_INFO GetAllClasses()
std::vector< CLASS_INFO > CLASSES_INFO
void InheritsAfter(TYPE_ID aDerived, TYPE_ID aBase)
Declare an inheritance relationship between types.
bool IsWriteableFor(TYPE_ID aItemClass, PROPERTY_BASE *aProp, INSPECTABLE *aItem)
Checks overriden availability and original availability of a property, returns false if the property ...
void PropertyChanged(INSPECTABLE *aObject, PROPERTY_BASE *aProperty)
Callback to alert the notification system that a property has changed.
COMMIT * m_managedCommit
void Mask(TYPE_ID aDerived, TYPE_ID aBase, const wxString &aName)
Sets a base class property as masked in a derived class.
static PROPERTY_MANAGER & Instance()
PROPERTY_BASE & AddProperty(PROPERTY_BASE *aProperty, const wxString &aGroup=wxEmptyString)
Register a property.
void Rebuild()
Rebuild the list of all registered properties.
PROPERTY_BASE * GetProperty(TYPE_ID aType, const wxString &aProperty) const
Return a property for a specific type.
std::unordered_map< TYPE_ID, CLASS_DESC > m_classes
~PROPERTY_MANAGER() noexcept
const void * TypeCast(const void *aSource, TYPE_ID aBase, TYPE_ID aTarget) const
Cast a type to another type.
CLASS_DESC & getClass(TYPE_ID aTypeId)
void RegisterType(TYPE_ID aType, const wxString &aName)
Associate a name with a type.
bool IsAvailableFor(TYPE_ID aItemClass, PROPERTY_BASE *aProp, INSPECTABLE *aItem)
Checks overriden availability and original availability of a property, returns false if the property ...
class PROPERTY_LISTENER_SUBSCRIPTION RegisterListener(TYPE_ID aType, PROPERTY_LISTENER aListenerFunc)
Register a listener for the given type and return a move-only subscription that auto-unregisters in i...
const std::map< PROPERTY_BASE *, int > & GetDisplayOrder(TYPE_ID aType) const
PROPERTY_LISTENER_HANDLE m_nextListenerHandle
void UnregisterListener(TYPE_ID aType, PROPERTY_LISTENER_HANDLE aHandle)
Remove a single listener registration by its handle.
void OverrideAvailability(TYPE_ID aDerived, TYPE_ID aBase, const wxString &aName, std::function< bool(INSPECTABLE *)> aFunc)
Sets an override availability functor for a base class property of a given derived class.
bool IsOfType(TYPE_ID aDerived, TYPE_ID aBase) const
Return true if aDerived is inherited from aBase.
PROPERTY_BASE & ReplaceProperty(size_t aBase, const wxString &aName, PROPERTY_BASE *aNew, const wxString &aGroup=wxEmptyString)
Replace an existing property for a specific type.
std::map< TYPE_ID, std::vector< std::pair< PROPERTY_LISTENER_HANDLE, PROPERTY_LISTENER > > > m_listeners
void OverrideWriteability(TYPE_ID aDerived, TYPE_ID aBase, const wxString &aName, std::function< bool(INSPECTABLE *)> aFunc)
Sets an override writeability functor for a base class property of a given derived class.
std::unordered_map< TYPE_ID, wxString > m_classNames
Map of all available types.
const std::vector< wxString > & GetGroupDisplayOrder(TYPE_ID aType) const
void AddTypeCast(TYPE_CAST_BASE *aCast)
Register a type converter.
virtual size_t BaseHash() const =0
virtual size_t DerivedHash() const =0
#define TYPE_HASH(x)
Definition property.h:74
static const std::vector< PROPERTY_BASE * > EMPTY_PROP_LIST
static const std::map< PROPERTY_BASE *, int > EMPTY_PROP_DISPLAY_ORDER
std::vector< wxString > EMPTY_GROUP_DISPLAY_ORDER
std::function< void(INSPECTABLE *, PROPERTY_BASE *, COMMIT *)> PROPERTY_LISTENER
Opaque handle returned by RegisterListener so a specific registration can be removed without disturbi...
std::size_t PROPERTY_LISTENER_HANDLE
size_t TYPE_ID
Unique type identifier.
Returns metadata for a specific type.
std::vector< std::reference_wrapper< CLASS_DESC > > m_bases
Properties unique to this type (i.e. not inherited)
std::set< std::pair< size_t, wxString > > m_replaced
Recreates the list of properties.
std::vector< wxString > m_groupDisplayOrder
Non-owning list of classes's direct properties in display order.
std::map< std::pair< size_t, wxString >, std::function< bool(INSPECTABLE *)> > m_availabilityOverrides
Overrides for base class property writeable status.
std::map< std::pair< size_t, wxString >, std::function< bool(INSPECTABLE *)> > m_writeabilityOverrides
All properties (both unique to the type and inherited)
std::map< wxString, std::unique_ptr< PROPERTY_BASE > > m_ownProperties
Type converters available for this type.
std::vector< PROPERTY_BASE * > m_ownDisplayOrder
The property groups provided by this class.
std::set< std::pair< size_t, wxString > > m_maskedBaseProperties
Overrides for base class property availabilities.
std::map< PROPERTY_BASE *, int > m_displayOrder
List of property groups provided by this class in display order.
std::vector< PROPERTY_BASE * > m_allProperties
Compiled display order for all properties.
std::map< TYPE_ID, std::unique_ptr< TYPE_CAST_BASE > > m_typeCasts
Properties from bases that should be masked (hidden) on this subclass.
void collectPropsRecur(std::vector< PROPERTY_BASE * > &aResult, std::set< std::pair< size_t, wxString > > &aReplaced, std::map< PROPERTY_BASE *, int > &aDisplayOrder, std::set< std::pair< size_t, wxString > > &aMasked) const
void rebuild()
Traverses the class inheritance hierarchy bottom-to-top, gathering all properties available to a type...
const TYPE_ID m_id
Types after which this type inherits.
std::set< wxString > m_groups
Replaced properties (TYPE_ID / name)
wxString result
Test unit parsing edge cases and error handling.