[nem-en] More for completion

[Kamil Skalski]

Yes, we should allow distinguishing between read and assign places, as
it is very common to search only one kind of those operations.

In this example it's just 'expr.Location', becasue this
TExpr.FieldMember is describing a node in program tree for expression:
'obj.(fld : name)'

2006/7/2, Alejandro Serrano <trupill at yahoo.es>:
> Well, yes, I think I have not found the best example. I've created two
> overloads: one with Location and one which doesn't not have a Location
> parameter. Just another example (typing/Typer2.n, line 834)
>
>         | TExpr.FieldMember (obj, fld) =>
>           if (ctx %&& Context.NeedLValue)
>             fld.HasBeenAssigned = true;
>           else
>             fld.HasBeenUsed = true;
>           TExpr.FieldMember (Walk (obj), fld)
>
> First of all, it seems that I will need both a MarkAsUsed and a
> MarkAsAssigned :-). Secondly, how do I retrieve the exact Location
> there? Maybe the answer is obvious, but I can't find it.
>
> Thanks again
>
> Kamil Skalski escribió:
> > This particular instance of MarkAsUsed seems like a 'shut up' mark for
> > the compiler warnings. This is quite common to disable warnings for
> > generated code, as user does not have direct influence on how to fix
> > the warning.
> >
> > Isn't it feasible to use Location.Default here? The rationale for such
> > hack is that you won't search for references of this generated member
> > anyways.
> >
> > 2006/7/2, Alejandro Serrano <trupill at yahoo.es>:
> >> Kamil Skalski escribió:
> >> > bash-3.00$ cd nemerle/ncc/
> >> > bash-3.00$ ./g HasBeenUsed
> >> > external/LibrariesLoader.n:1102:      public override HasBeenUsed :
> >> bool
> >> > [...]
> >> > typing/Typer2.n:1211:          meth.HasBeenUsed = true;
> >> >
> >> > Probably all the assignments to HasBeenUsed should be changed to some
> >> > kind of method
> >> > ManagerClass.MarkAsUsed (IMember, Location), which could be then
> >> > overriden in completion engine to catch all uses of given member.
> >> > Then you would need to run the whole typing step for all methods.
> >> Hi again,
> >> Now I have some time, I'm trying to implement these MarkAsUsed method.
> >> However, I've got a big problem: I don't know where to find the location
> >> most of the times. For example, in generation/Typer3.n (line 789)
> >>
> >>       def rewrite (expr : TExpr) {
> >>         | TryFinally (body, handler) =>
> >>           def fld = clo_type.DefineAndReturn (<[ decl:
> >>             mutable $(Macros.NewSymbol ("finally_needed") : name) :
> >> bool;
> >>           ]>) :> IField;
> >>           fld.HasBeenAssigned = true;
> >>           fld.HasBeenUsed = true;
> >>           def fldref = TExpr.FieldMember (InternalType.Boolean, thisref,
> >> fld);
> >>
> >> How can I know where the reference is located so I can call the
> >> MarkAsUsed (IMember, Location) method?
> >>
> >> Thanks in advance,
> >> Alejandro Serrano "Serras"
> >>
>
>
>
>
> ______________________________________________
> LLama Gratis a cualquier PC del Mundo.
> Llamadas a fijos y móviles desde 1 céntimo por minuto.
> http://es.voice.yahoo.com
>
>
> _______________________________________________
> https://nemerle.org/mailman/listinfo/devel-en
>


-- 
Kamil Skalski
http://nazgul.omega.pl