/// /// Copyright © 2003-2008 JetBrains s.r.o. /// You may distribute under the terms of the GNU General Public License, as published by the Free Software Foundation, version 2 (see License.txt in the repository root folder). /// using JetBrains.Omea.OpenAPI; namespace JetBrains.Omea.PicoCore { public class CorePropIds: ICorePropIds { private readonly PropId _name; private readonly PropId _parent; private readonly PropId _longBody; public CorePropIds(ICoreProps props) { _name = new PropId(props.Name); _parent = new PropId(props.Parent); _longBody = new PropId(props.LongBody); } public PropId Name { get { return _name; } } public PropId Parent { get { return _parent; } } public PropId LongBody { get { return _longBody; } } } }