public AtomTypeDef(Token name, AtomTypeDef baseType, AtomFlag memberFlags)
: base(AstNodeKind.AtomTypeDef, name)
{
BaseType = baseType;
MemberFlags = memberFlags;
IsBuiltin = true;
}
//
public AtomTypeDef(Token name, AtomTypeDef baseType, bool isBuiltIn = false)
: base(AstNodeKind.AtomTypeDef, name, isBuiltIn)
{
BaseType = baseType;
if (baseType != null)
{
MemberFlags = baseType.MemberFlags;
}
}
public AtomType(string name, AtomType baseType = null)
: base(name)
{
BaseType = baseType;
if (baseType != null)
{
MemberFlags = baseType.MemberFlags;
}
IsIntegral = false;
}
public ClausePattern(AtomType type, Atom subj, Atom pred, object val, MatchFlag matchFlags)
{
Type = type;
Flags = type.MemberFlags;
//
Subject = subj;
Predicate = pred;
Object = val;
//
MatchFlags = matchFlags;
}
//
//TODO:probably not wise.
public ClausePattern(Atom subj, Atom pred, object val)
{
Type = Expert.Ent_Belief;
Flags = Type.MemberFlags;
//
Subject = subj;
Predicate = pred;
Object = val;
//
MatchFlags = MatchFlag.None;
}
//
public AtomType(string name, AtomType baseType, AtomFlag atomTypeFlags)
: this(name, baseType)
{
MemberFlags = atomTypeFlags;
IsIntegral = true;
}
