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
71const std::vector<PROPERTY_BASE*>& PROPERTY_MANAGER::GetProperties( TYPE_ID aType ) const
72{
73 if( m_dirty )
74 const_cast<PROPERTY_MANAGER*>( this )->Rebuild();
75
76 auto it = m_classes.find( aType );
77
78 if( it == m_classes.end() )
79 return EMPTY_PROP_LIST;
80
81 return it->second.m_allProperties;
82}
83
84
85const std::map<PROPERTY_BASE*, int>& PROPERTY_MANAGER::GetDisplayOrder( TYPE_ID aType ) const
86{
87 if( m_dirty )
88 const_cast<PROPERTY_MANAGER*>( this )->Rebuild();
89
90 auto it = m_classes.find( aType );
91
92 if( it == m_classes.end() )
94
95 return it->second.m_displayOrder;
96}
97
98
99const std::vector<wxString>& PROPERTY_MANAGER::GetGroupDisplayOrder( TYPE_ID aType ) const
100{
101 if( m_dirty )
102 const_cast<PROPERTY_MANAGER*>( this )->Rebuild();
103
104 auto it = m_classes.find( aType );
105
106 if( it == m_classes.end() )
108
109 return it->second.m_groupDisplayOrder;
110}
111
112
113const void* PROPERTY_MANAGER::TypeCast( const void* aSource, TYPE_ID aBase, TYPE_ID aTarget ) const
114{
115 if( aBase == aTarget )
116 return aSource;
117
118 auto classDesc = m_classes.find( aBase );
119
120 if( classDesc == m_classes.end() )
121 return aSource;
122
123 const std::map<TYPE_ID, std::unique_ptr<TYPE_CAST_BASE>>& converters = classDesc->second.m_typeCasts;
124 auto converter = converters.find( aTarget );
125
126 if( converter == converters.end() ) // explicit type cast not found
127 return IsOfType( aBase, aTarget ) ? aSource : nullptr;
128
129 return (*converter->second)( aSource );
130}
131
132
133PROPERTY_BASE& PROPERTY_MANAGER::AddProperty( PROPERTY_BASE* aProperty, const wxString& aGroup )
134{
135 const wxString& name = aProperty->Name();
136 TYPE_ID hash = aProperty->OwnerHash();
137 CLASS_DESC& classDesc = getClass( hash );
138
139 auto [it, inserted] = classDesc.m_ownProperties.try_emplace( name, aProperty );
140
141 if( !inserted )
142 {
143 // Property with this name already exists; delete the duplicate and return the existing one.
144 delete aProperty;
145 return *it->second;
146 }
147
148 classDesc.m_ownDisplayOrder.emplace_back( aProperty );
149
150 aProperty->SetGroup( aGroup );
151
152 if( !classDesc.m_groups.count( aGroup ) )
153 {
154 classDesc.m_groupDisplayOrder.emplace_back( aGroup );
155 classDesc.m_groups.insert( aGroup );
156 }
157
158 m_dirty = true;
159 return *aProperty;
160}
161
162
163PROPERTY_BASE& PROPERTY_MANAGER::ReplaceProperty( size_t aBase, const wxString& aName, PROPERTY_BASE* aNew,
164 const wxString& aGroup )
165{
166 CLASS_DESC& classDesc = getClass( aNew->OwnerHash() );
167 classDesc.m_replaced.insert( std::make_pair( aBase, aName ) );
168 return AddProperty( aNew, aGroup );
169}
170
171
173{
174 TYPE_ID derivedHash = aCast->DerivedHash();
175 CLASS_DESC& classDesc = getClass( aCast->BaseHash() );
176
177 wxASSERT_MSG( classDesc.m_typeCasts.count( derivedHash ) == 0, wxT( "Such converter already exists" ) );
178 classDesc.m_typeCasts.emplace( derivedHash, aCast );
179}
180
181
183{
184 wxASSERT_MSG( aDerived != aBase, wxT( "Class cannot inherit from itself" ) );
185
186 CLASS_DESC& derived = getClass( aDerived );
187 derived.m_bases.push_back( getClass( aBase ) );
188 m_dirty = true;
189
190 wxASSERT_MSG( derived.m_bases.size() == 1 || derived.m_typeCasts.count( aBase ) == 1,
191 wxT( "You need to add a TYPE_CAST for classes inheriting from multiple bases" ) );
192}
193
194
195void PROPERTY_MANAGER::Mask( TYPE_ID aDerived, TYPE_ID aBase, const wxString& aName )
196{
197 wxASSERT_MSG( aDerived != aBase, wxT( "Class cannot mask from itself" ) );
198
199 CLASS_DESC& derived = getClass( aDerived );
200 derived.m_maskedBaseProperties.insert( std::make_pair( aBase, aName ) );
201 m_dirty = true;
202}
203
204
205void PROPERTY_MANAGER::OverrideAvailability( TYPE_ID aDerived, TYPE_ID aBase, const wxString& aName,
206 std::function<bool( INSPECTABLE* )> aFunc )
207{
208 wxASSERT_MSG( aDerived != aBase, wxT( "Class cannot override from itself" ) );
209
210 CLASS_DESC& derived = getClass( aDerived );
211 derived.m_availabilityOverrides[std::make_pair( aBase, aName )] = std::move( aFunc );
212 m_dirty = true;
213}
214
215
216void PROPERTY_MANAGER::OverrideWriteability( TYPE_ID aDerived, TYPE_ID aBase, const wxString& aName,
217 std::function<bool( INSPECTABLE* )> aFunc )
218{
219 wxASSERT_MSG( aDerived != aBase, wxT( "Class cannot override from itself" ) );
220
221 CLASS_DESC& derived = getClass( aDerived );
222 derived.m_writeabilityOverrides[std::make_pair( aBase, aName )] = std::move( aFunc );
223 m_dirty = true;
224}
225
226
228{
229 if( !aProp->Available( aItem ) )
230 return false;
231
232 CLASS_DESC& derived = getClass( aItemClass );
233
234 auto it = derived.m_availabilityOverrides.find( std::make_pair( aProp->BaseHash(), aProp->Name() ) );
235
236 if( it != derived.m_availabilityOverrides.end() )
237 return it->second( aItem );
238
239 return true;
240}
241
242
244{
245 if( !aProp->Writeable( aItem ) )
246 return false;
247
248 CLASS_DESC& derived = getClass( aItemClass );
249
250 auto it = derived.m_writeabilityOverrides.find( std::make_pair( aProp->BaseHash(), aProp->Name() ) );
251
252 if( it != derived.m_writeabilityOverrides.end() )
253 return it->second( aItem );
254
255 return true;
256}
257
258
259bool PROPERTY_MANAGER::IsOfType( TYPE_ID aDerived, TYPE_ID aBase ) const
260{
261 if( aDerived == aBase )
262 return true;
263
264 auto derived = m_classes.find( aDerived );
265 wxCHECK( derived != m_classes.end(), false ); // missing class description
266
267 // traverse the hierarchy seeking for the base class
268 for( const std::reference_wrapper<CLASS_DESC>& base : derived->second.m_bases )
269 {
270 if( IsOfType( base.get().m_id, aBase ) )
271 return true;
272 }
273
274 return false;
275}
276
277
279{
280 for( std::pair<const TYPE_ID, CLASS_DESC>& classEntry : m_classes )
281 classEntry.second.rebuild();
282
283 m_dirty = false;
284}
285
286
288{
289 auto it = m_classes.find( aTypeId );
290
291 if( it == m_classes.end() )
292 tie( it, std::ignore ) = m_classes.emplace( aTypeId, CLASS_DESC( aTypeId ) );
293
294 return it->second;
295}
296
297
299 m_id( aId )
300{
301 m_groupDisplayOrder.emplace_back( wxEmptyString );
302 m_groups.insert( wxEmptyString );
303}
304
305
307PROPERTY_MANAGER::CLASS_DESC::CLASS_DESC( CLASS_DESC&& ) noexcept = default;
308
309
311{
312 std::set<std::pair<size_t, wxString>> replaced;
313 std::set<std::pair<size_t, wxString>> masked;
314 m_allProperties.clear();
315 m_displayOrder.clear();
317
318 // We need to keep properties sorted to be able to use std::set_* functions
319 sort( m_allProperties.begin(), m_allProperties.end() );
320
321 std::vector<wxString> displayOrder;
322 std::set<wxString> groups;
323
324 auto collectGroups =
325 [&]( std::set<wxString>& aSet, std::vector<wxString>& aResult )
326 {
327 auto collectGroupsRecursive =
328 []( auto& aSelf, std::set<wxString>& aSetR, std::vector<wxString>& aResultR,
329 const CLASS_DESC& aClassR ) -> void
330 {
331 for( const wxString& group : aClassR.m_groupDisplayOrder )
332 {
333 if( !aSetR.count( group ) )
334 {
335 aSetR.insert( group );
336 aResultR.emplace_back( group );
337 }
338 }
339
340 for( const CLASS_DESC& base : aClassR.m_bases )
341 aSelf( aSelf, aSetR, aResultR, base );
342 };
343
344 collectGroupsRecursive( collectGroupsRecursive, aSet, aResult, *this );
345 };
346
347 // TODO(JE): This currently relies on rebuild() happening after all properties are added
348 // separate out own groups vs. all groups to fix
349 collectGroups( groups, displayOrder );
350 m_groupDisplayOrder = std::move( displayOrder );
351}
352
353
354void PROPERTY_MANAGER::CLASS_DESC::collectPropsRecur( std::vector<PROPERTY_BASE*>& aResult,
355 std::set<std::pair<size_t, wxString>>& aReplaced,
356 std::map<PROPERTY_BASE*, int>& aDisplayOrder,
357 std::set<std::pair<size_t, wxString>>& aMasked ) const
358{
359 for( const std::pair<size_t, wxString>& replacedEntry : m_replaced )
360 aReplaced.emplace( replacedEntry );
361
362 for( const std::pair<size_t, wxString>& maskedEntry : m_maskedBaseProperties )
363 aMasked.emplace( maskedEntry );
364
365 /*
366 * We want to insert our own properties in forward order, but earlier than anything already in
367 * the list (which will have been added by a subclass of us)
368 */
369 int displayOrderStart = 0;
370
371 if( !aDisplayOrder.empty() )
372 {
373 int firstSoFar = std::min_element( aDisplayOrder.begin(), aDisplayOrder.end(),
374 []( const std::pair<PROPERTY_BASE*, int>& aFirst,
375 const std::pair<PROPERTY_BASE*, int>& aSecond )
376 {
377 return aFirst.second < aSecond.second;
378 } )->second;
379
380 displayOrderStart = firstSoFar - m_ownProperties.size();
381 }
382
383 int idx = 0;
384
385 for( PROPERTY_BASE* property : m_ownDisplayOrder )
386 {
387 std::set<std::pair<size_t, wxString>>::key_type propertyKey = std::make_pair( property->OwnerHash(),
388 property->Name() );
389 // Do not store replaced properties
390 if( aReplaced.count( propertyKey ) )
391 continue;
392
393 // Do not store masked properties
394 if( aMasked.count( propertyKey ) )
395 continue;
396
397 aDisplayOrder[property] = displayOrderStart + idx++;
398 aResult.push_back( property );
399 }
400
401 // Iterate backwards so that replaced properties appear before base properties
402 for( std::reference_wrapper<CLASS_DESC> base : std::ranges::reverse_view( m_bases ) )
403 base.get().collectPropsRecur( aResult, aReplaced, aDisplayOrder, aMasked );
404}
405
406
408{
409 CLASSES_INFO rv;
410
411 for( std::pair<const TYPE_ID, CLASS_DESC>& classEntry : m_classes )
412 {
414
415 info.type = classEntry.first;
416 info.name = m_classNames[classEntry.first];
417
418 for( PROPERTY_BASE* prop : classEntry.second.m_allProperties )
419 info.properties.push_back( prop );
420
421 rv.push_back( info );
422 }
423
424 return rv;
425}
426
427
429{
430 auto callListeners =
431 [&]( TYPE_ID typeId )
432 {
433 auto listeners = m_listeners.find( typeId );
434
435 if( listeners != m_listeners.end() )
436 {
437 for( const auto& [ handle, listener ] : listeners->second )
438 listener( aObject, aProperty, m_managedCommit );
439 }
440 };
441
442 CLASS_DESC& objectClass = getClass( TYPE_HASH( *aObject ) );
443
444 callListeners( objectClass.m_id );
445
446 for( CLASS_DESC& superClass : objectClass.m_bases )
447 callListeners( superClass.m_id );
448}
449
450
452{
453 wxCHECK2_MSG( PROPERTY_MANAGER::Instance().m_managedCommit == nullptr,
454 return, wxT( "Can't have more than one managed commit at a time!" ) );
455
457}
458
459
461{
462 wxASSERT_MSG( PROPERTY_MANAGER::Instance().m_managedCommit != nullptr,
463 wxT( "Something went wrong: m_managedCommit already null!" ) );
464
466}
467
468
471{
473 m_listeners[aType].emplace_back( handle, std::move( aListenerFunc ) );
474 return { aType, handle };
475}
476
477
479{
480 auto it = m_listeners.find( aType );
481
482 if( it == m_listeners.end() )
483 return;
484
485 auto& vec = it->second;
486 vec.erase( std::remove_if( vec.begin(), vec.end(),
487 [aHandle]( const auto& aPair )
488 { return aPair.first == aHandle; } ),
489 vec.end() );
490}
491
492
497
498
501{
502 if( this != &aOther )
503 {
504 reset();
505 m_type = aOther.m_type;
506 m_handle = aOther.m_handle;
507 aOther.m_handle = 0;
508 }
509
510 return *this;
511}
512
513
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:38
PROPERTY_BASE & SetGroup(const wxString &aGroup)
Definition property.h:347
virtual size_t BaseHash() const =0
Return type-id of the Base class.
virtual bool Writeable(INSPECTABLE *aObject) const
Definition property.h:282
bool Available(INSPECTABLE *aObject) const
Return true if aObject offers this PROPERTY.
Definition property.h:254
const wxString & Name() const
Definition property.h:220
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)