///
/// 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; }
}
}
}