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