public static FinalizedResponse FuncName_AC(TokLinePlanB <PTok> orig_TL, TokLinePlanB <PTok> .CPosC CPos, MGRX.FuncNameNodeRX funcNameNodeRX, Responder RESP)
{
Func <PTokE, bool> ON = tokE => { var tok = CPos.insideof_tok; if (tok == null)
{
return(false);
}
return(tok.E == tokE); };
Func <PTokE, bool> LADJ = tokE => { var tok = CPos.immediateLAdj_tok; if (tok == null)
{
return(false);
}
return(tok.E == tokE); };
Func <TokLinePlanB <PTok>, PTokBase[]> SER = tokLine => tokLine.Serialize <PTokBase>(onTok: _ => _, onWS: i => new PTokWhitespace {
len = i
}).ToArray();
Type hosting_type;
try {
hosting_type = funcNameNodeRX.AC_FuncHostingType_Callback();
if (hosting_type == null)
{
throw new Exception("hosting type null");
}
} catch (Exception e) {
return(RESP.NoAC(e.Message));
}
string name_fragment;
if (LADJ(PTokE.CS_name))
{
name_fragment = CPos.immediateLAdj_tok.pay;
MethodInfo [] raw_suggs_MI = SGA.MethodAC(hosting_type, name_fragment, (funcNameNodeRX.parent as MG.FunCallNode).isStatic);
if (raw_suggs_MI.Length == 0)
{
return(RESP.NoAC("no matching alternatives"));
}
string new_prefix = SGA.LongestCommonPrefix(raw_suggs_MI.Select(mi => mi.Name).ToArray());
if (new_prefix.Length > name_fragment.Length)
{
PTok new_token = new PTok {
pay = new_prefix, E = PTokE.CS_name
};
orig_TL.ReplaceTok(CPos.immediateLAdj_tok, new_token);
var nu_Cpos = orig_TL.CPosAtEndOfTok(new_token);
return(RESP.FuncACWithSubst(raw_suggs_MI, SER(orig_TL), nu_Cpos.StringPos()));
}
else
{
return(RESP.FuncACNoSubst(raw_suggs_MI));
}
}
else if (LADJ(PTokE.OP_backslash))
{
// no check for whether the curser is under a CS_name token , like so
// [>> [_] :Tyname\Funcname]
// _
// in this case junk gets substituted left of `Funcname`
// idc rn - there are bigger fish to fry
MethodInfo [] raw_suggs_MI = SGA.MethodAC(hosting_type, "", (funcNameNodeRX.parent as MG.FunCallNode).isStatic);
if (raw_suggs_MI.Length == 0)
{
return(RESP.NoAC("no matching alternatives"));
}
string new_prefix = SGA.LongestCommonPrefix(raw_suggs_MI.Select(mi => mi.Name).ToArray());
if (new_prefix.Length > 0)
{
var nu_tok = new PTok {
E = PTokE.CS_name, pay = new_prefix
};
orig_TL.InsertTokAfterNode(CPos.N, nu_tok); // this is the precise behaviour of IsertAfterCPos when its not over whitespace
var nu_Cpos = orig_TL.CPosAtEndOfTok(nu_tok);
var nu_offs = nu_Cpos.StringPos();
return(RESP.FuncACWithSubst(raw_suggs_MI, SER(orig_TL), nu_offs));
}
else
{
return(RESP.FuncACNoSubst(raw_suggs_MI));
}
}
else
{
return(RESP.NoAC("useless position"));
}
// currrently only doing ON( CS_name )
}
public static FinalizedResponse MembAcc_AC(TokLinePlanB <PTok> orig_TL, TokLinePlanB <PTok> .CPosC pos, MGRX.MemANodeRX MA_node, Responder RESP)
{
#region setup
string orig_prefix = MA_node.name; // <- .name is normalized to "" , never null
MembK orig_MembK = MembKF_from_refineTok(MA_node.refineOPTok); // resolves to "_any" for null argument
MemberInfo[] mis = new MemberInfo[0];
Type baseType = null;
try {
// i *THINK* ACMembTypingCallback is supposed to be set at creation time of the corresponding TranslationUnit ( i.e. its constructor) - this is not happening atm
// fetch the type here to base SuggTreeFetching of MethodInfos on, the MembKFilter argument to that thing is something else entirely
baseType = (MA_node as MG.ACableMemb).ACMembTypingCallback();
} catch (MG.NoACPossible) { // <- questionable if this exception is needed at all
return(RESP.NoAC("excpt: MG.NoACPossible"));
} catch (Exception e) {
return(RESP.NoAC("general typing exception: " + e.ToString()));
}
if (baseType == null)
{
return(RESP.NoAC("baseType == null "));
}
try {
mis = SGA.MembAC(baseType, orig_prefix, orig_MembK);
} catch (Exception) { return(RESP.NoAC(" SuggTree exception ")); }
if (mis.Length == 0)
{
return(RESP.NoAC(" no suggs "));
}
#endregion
string new_prefix = SGA.LongestCommonPrefix(mis.Select(mi => mi.Name).ToArray());
bool insert_refinement = (MA_node.refineOPTok == null) && (mis.Length == 1); // current strat : only augment refinement op if suggestions are unique
bool insert_name = (MA_node.nameTok == null) /* && ( new_prefix.Length > 0 ) */; // actually ... it's easier to always insert
// --- if both refinement, and name are to be inserted: insert refinement first
if (insert_refinement)
{
orig_TL.InsertTokAfterNode(
orig_TL.findTok(MA_node.initialOpTok),
refineTok_from_MembK(new MembK(mis[0])) // implicitly assuming mis[] to be of length 1, or their MembKs to be identical in case of several
);
}
if (insert_name)
{
var new_nameTok = new PTok {
E = PTokE.CS_name, pay = new_prefix
};
pos = orig_TL.InsertAfterCPos(pos, new_nameTok);
}
else
{
// a nice invariant to fuzz against : for all x :: SG.MembAcc(x). map ( -> name ). LongestCommonPrefix().Length >= x.Length ( this is implitily assumed here )
// counter case : len ( longestCommonPrefix ) < len( MA_node.name ) should never reach this ( cuz mis == [] triggers return further up )
D.Assert(new_prefix.Length >= orig_prefix.Length);
MA_node.nameTok.pay = new_prefix;
pos = orig_TL.CPosAtEndOfTok(MA_node.nameTok);
}
Func <MemberInfo, mi_sugg> conv_mi_sugg = (MI) => {
var str_op = refineTok_from_MembK(new MembK(MI)).pay;
return(new mi_sugg {
str_op = str_op,
mi = MI
});
};
PTokBase [] nu_toks = orig_TL.Serialize <PTokBase>(onTok: _ => _, onWS: i => new PTokWhitespace {
len = i
}).ToArray();
return(RESP.MembACWithSubst(mis.Select(conv_mi_sugg), nu_toks, pos.StringPos()));
}