attrib.h File Reference

#include <string.h>
#include <kernel/structs.h>
#include <omalloc/omallocClass.h>

Go to the source code of this file.

Data Structures
class	sattr

Macros
#define	atKillAll(H)   at_KillAll(H,currRing)
#define	atKill(H, A)   at_Kill(H,A,currRing)

Typedefs
typedef sattr *	attr

Functions
void *	atGet (idhdl root, const char *name, int t, void *defaultReturnValue=NULL)
void *	atGet (leftv root, const char *name, int t)
void	atSet (idhdl root, const char *name, void *data, int typ)
void	atSet (leftv root, const char *name, void *data, int typ)
void	at_KillAll (idhdl root, const ring r)
void	at_KillAll (leftv root, const ring r)
void	at_Kill (idhdl root, const char *name, const ring r)
BOOLEAN	atATTRIB1 (leftv res, leftv a)
BOOLEAN	atATTRIB2 (leftv res, leftv a, leftv b)
BOOLEAN	atATTRIB3 (leftv res, leftv a, leftv b, leftv c)
BOOLEAN	atKILLATTR1 (leftv res, leftv a)
BOOLEAN	atKILLATTR2 (leftv res, leftv a, leftv b)

Macro Definition Documentation

atKill

#define atKill	(		H,
			A
	)		at_Kill(H,A,currRing)

Definition at line 44 of file attrib.h.

atKillAll

#define atKillAll

(

H

)

at_KillAll(H,currRing)

Definition at line 42 of file attrib.h.

Typedef Documentation

attr

typedef sattr* attr

Definition at line 13 of file attrib.h.

Function Documentation

at_Kill()

void at_Kill	(	idhdl	root,
		const char *	name,
		const ring	r
	)

Definition at line 209 of file attrib.cc.

{
  attr temp = root->attribute->get(name);
  if (temp!=NULL)
  {
    attr N = temp->next;
    attr temp1 = root->attribute;
    if (temp1==temp)
    {
      root->attribute = N;
    }
    else
    {
      while (temp1->next!=temp) temp1 = temp1->next;
      temp1->next = N;
    }
    temp->kill(r);
  }
}

at_KillAll() [1/2]

void at_KillAll	(	idhdl	root,
		const ring	r
	)

Definition at line 229 of file attrib.cc.

{
  root->attribute->killAll(r);
  root->attribute = NULL;
}

at_KillAll() [2/2]

void at_KillAll	(	leftv	root,
		const ring	r
	)

Definition at line 235 of file attrib.cc.

{
  root->attribute->killAll(r);
  root->attribute = NULL;
}

atATTRIB1()

BOOLEAN atATTRIB1	(	leftv	res,
		leftv	a
	)

Definition at line 241 of file attrib.cc.

{
  int t;
  attr *aa=(v->Attribute());
  if (aa==NULL)
  {
    WerrorS("this object cannot have attributes");
    return TRUE;
  }
  attr a=*aa;
  BOOLEAN haveNoAttribute=TRUE;
  if (v->e==NULL)
  {
    if (hasFlag(v,FLAG_STD))
    {
      PrintS("attr:isSB, type int\n");
      haveNoAttribute=FALSE;
    }
    if (hasFlag(v,FLAG_QRING))
    {
      PrintS("attr:qringNF, type int\n");
      haveNoAttribute=FALSE;
    }
    if (((t=v->Typ())==RING_CMD)||(t==QRING_CMD))
    {
      PrintS("attr:global, type int\n");
      PrintS("attr:maxExp, type int\n");
      PrintS("attr:ring_cf, type int\n");
      #ifdef HAVE_SHIFTBBA
      PrintS("attr:isLPring, type int\n");
      #endif

      haveNoAttribute=FALSE;
    }
  }
  else
  {
    leftv at=v->LData();
    return atATTRIB1(res,at);
  }
  if (a!=NULL)                    a->Print();
  else  if(haveNoAttribute)       PrintS("no attributes\n");
  return FALSE;
}

atATTRIB2()

BOOLEAN atATTRIB2	(	leftv	res,
		leftv	a,
		leftv	b
	)

Definition at line 285 of file attrib.cc.

{
  char *name=(char *)b->Data();
  int t;
  leftv at=NULL;
  if (v->e!=NULL)
    at=v->LData();
  if (strcmp(name,"isSB")==0)
  {
    res->rtyp=INT_CMD;
    res->data=(void *)(long)hasFlag(v,FLAG_STD);
    if (at!=NULL) res->data=(void *)(long)(hasFlag(v,FLAG_STD)||(hasFlag(at,FLAG_STD)));
  }
  else if ((strcmp(name,"rank")==0)&&(v->Typ()==MODUL_CMD))
  {
    res->rtyp=INT_CMD;
    res->data=(void *)(((ideal)v->Data())->rank);
  }
  else if ((strcmp(name,"global")==0)
  &&(((t=v->Typ())==RING_CMD)||(t==QRING_CMD)))
  {
    res->rtyp=INT_CMD;
    res->data=(void *)(((ring)v->Data())->OrdSgn==1);
  }
  else if ((strcmp(name,"maxExp")==0)
  &&(((t=v->Typ())==RING_CMD)||(t==QRING_CMD)))
  {
    res->rtyp=INT_CMD;
    res->data=(void *)(long)(((ring)v->Data())->bitmask/2);
  }
  else if ((strcmp(name,"ring_cf")==0)
  &&(((t=v->Typ())==RING_CMD)||(t==QRING_CMD)))
  {
    res->rtyp=INT_CMD;
    res->data=(void *)(long)(rField_is_Ring((ring)v->Data()));
  }
  else if (strcmp(name,"qringNF")==0)
  {
    res->rtyp=INT_CMD;
    res->data=(void *)(long)hasFlag(v,FLAG_QRING);
    if (at!=NULL) res->data=(void *)(long)(hasFlag(v,FLAG_QRING)||(hasFlag(at,FLAG_QRING)));
  }
#ifdef HAVE_SHIFTBBA
  else if ((strcmp(name,"isLPring")==0)
  &&(((t=v->Typ())==RING_CMD)||(t==QRING_CMD)))
  {
    res->rtyp=INT_CMD;
    res->data=(void *)(long)(((ring)v->Data())->isLPring);
  }
#endif
  else
  {
    attr *aa=v->Attribute();
    if (aa==NULL)
    {
      WerrorS("this object cannot have attributes");
      return TRUE;
    }
    attr a=*aa;
    a=a->get(name);
    if (a!=NULL)
    {
      res->rtyp=a->atyp;
      res->data=a->CopyA();
    }
    else
    {
      res->rtyp=STRING_CMD;
      res->data=omStrDup("");
    }
  }
  return FALSE;
}

atATTRIB3()

BOOLEAN atATTRIB3	(	leftv	res,
		leftv	a,
		leftv	b,
		leftv	c
	)

Definition at line 358 of file attrib.cc.

{
  idhdl h=(idhdl)v->data;
  int t;
  if (v->e!=NULL)
  {
    v=v->LData();
    if (v==NULL) return TRUE;
    h=NULL;
  }
  else if (v->rtyp!=IDHDL) h=NULL;

  char *name=(char *)b->Data();
  if (strcmp(name,"isSB")==0)
  {
    if (c->Typ()!=INT_CMD)
    {
      WerrorS("attribute isSB must be int");
      return TRUE;
    }
    if (((long)c->Data())!=0L)
    {
      if (h!=NULL) setFlag(h,FLAG_STD);
      setFlag(v,FLAG_STD);
    }
    else
    {
      if (h!=NULL) resetFlag(h,FLAG_STD);
      resetFlag(v,FLAG_STD);
    }
  }
  else if (strcmp(name,"qringNF")==0)
  {
    if (c->Typ()!=INT_CMD)
    {
      WerrorS("attribute qringNF must be int");
      return TRUE;
    }
    if (((long)c->Data())!=0L)
    {
      if (h!=NULL) setFlag(h,FLAG_QRING);
      setFlag(v,FLAG_QRING);
    }
    else
    {
      if (h!=NULL) resetFlag(h,FLAG_QRING);
      resetFlag(v,FLAG_QRING);
    }
  }
  else if ((strcmp(name,"rank")==0)&&(v->Typ()==MODUL_CMD))
  {
    if (c->Typ()!=INT_CMD)
    {
      WerrorS("attribute `rank` must be int");
      return TRUE;
    }
    ideal I=(ideal)v->Data();
    int rk=id_RankFreeModule(I,currRing);
    I->rank=si_max(rk,(int)((long)c->Data()));
  }
  else if (((strcmp(name,"global")==0)
    || (strcmp(name,"ring_cf")==0)
    || (strcmp(name,"maxExp")==0))
  &&(((t=v->Typ())==RING_CMD)||(t==QRING_CMD)))
  {
    Werror("can not set attribute `%s`",name);
    return TRUE;
  }
#ifdef HAVE_SHIFTBBA
  else if ((strcmp(name,"isLPring")==0)
  &&(((t=v->Typ())==RING_CMD)||(t==QRING_CMD)))
  {
    if (c->Typ()==INT_CMD)
      ((ring)v->Data())->isLPring=(int)(long)c->Data();
    else
    {
      WerrorS("attribute `isLPring` must be int");
      return TRUE;
    }
  }
#endif
  else
  {
    int typ=c->Typ();
    if (h!=NULL) atSet(h,omStrDup(name),c->CopyD(typ),typ/*c->T(yp()*/);
    else         atSet(v,omStrDup(name),c->CopyD(typ),typ/*c->T(yp()*/);
  }
  return FALSE;
}

atGet() [1/2]

void* atGet	(	idhdl	root,
		const char *	name,
		int	t,
		void *	defaultReturnValue = NULL
	)

Definition at line 135 of file attrib.cc.

{
  attr temp = root->attribute->get(name);
  if ((temp!=NULL) && (temp->atyp==t))
    return temp->data;
  else
    return defaultReturnValue;
}

atGet() [2/2]

void* atGet	(	leftv	root,
		const char *	name,
		int	t
	)

Definition at line 144 of file attrib.cc.

{
  attr *a=(root->Attribute());
  if (a!=NULL)
  {
    attr temp = (*a)->get(name);
    if ((temp!=NULL) && (temp->atyp==t))
      return temp->data;
  }
  return NULL;
}

atKILLATTR1()

BOOLEAN atKILLATTR1	(	leftv	res,
		leftv	a
	)

Definition at line 448 of file attrib.cc.

{
  idhdl h=NULL;
  if ((a->rtyp==IDHDL)&&(a->e==NULL))
  {
    h=(idhdl)a->data;
    resetFlag((idhdl)a->data,FLAG_STD);
  }
  resetFlag(a,FLAG_STD);
  if (h->attribute!=NULL)
  {
    atKillAll(h);
    a->attribute=NULL;
  }
  else atKillAll(a);
  return FALSE;
}

atKILLATTR2()

BOOLEAN atKILLATTR2	(	leftv	res,
		leftv	a,
		leftv	b
	)

Definition at line 465 of file attrib.cc.

{
  if ((a->rtyp!=IDHDL)||(a->e!=NULL))
  {
    WerrorS("object must have a name");
    return TRUE;
  }
  char *name=(char *)b->Data();
  if (strcmp(name,"isSB")==0)
  {
    resetFlag(a,FLAG_STD);
    resetFlag((idhdl)a->data,FLAG_STD);
  }
  else if (strcmp(name,"global")==0)
  {
    WerrorS("can not set attribut `global`");
    return TRUE;
  }
  else
  {
    atKill((idhdl)a->data,name);
  }
  return FALSE;
}

atSet() [1/2]

void atSet	(	idhdl	root,
		const char *	name,
		void *	data,
		int	typ
	)

Definition at line 156 of file attrib.cc.

{
  if (root!=NULL)
  {
    if ((IDTYP(root)!=RING_CMD)
    && (IDTYP(root)!=QRING_CMD)
    && (!RingDependend(IDTYP(root)))&&(RingDependend(typ)))
      WerrorS("cannot set ring-dependend objects at this type");
    else
      root->attribute=root->attribute->set(name,data,typ);
  }
}

atSet() [2/2]

void atSet	(	leftv	root,
		const char *	name,
		void *	data,
		int	typ
	)

Definition at line 169 of file attrib.cc.

{
  if (root!=NULL)
  {
    attr *a=root->Attribute();
    int rt=root->Typ();
    if (a==NULL)
      WerrorS("cannot set attributes of this object");
    else if ((rt!=RING_CMD)
    && (rt!=QRING_CMD)
    && (!RingDependend(rt))&&(RingDependend(typ)))
      WerrorS("cannot set ring-dependend objects at this type");
    else
    {
      *a=(*a)->set(name,data,typ);
    }
  }
}